Stars
- All languages
- APL
- ATS
- ActionScript
- Agda
- C
- C#
- C++
- COBOL
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Frege
- Go
- HTML
- Haml
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Max
- Nearley
- Nemerle
- Nix
- Nu
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
7
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Demo for high-performance type theory elaboration
Simple verification of Rust programs via functional purification in Lean 2(!)
Lean Library currently studying for a degree at Imperial College
Formal verification of parts of the Stacks Project in Lean
This may become a formalization of smooth manifolds in lean