No features have been listed yet.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Python - Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Rust - A safe, concurrent, practical language
Lean - Clean up your Live Photos
Elixir - Dynamic, functional language designed for building scalable and maintainable applications