🐿️
I enjoy squirrels
- France
Block or Report
Block or report vanaur
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Stars
Language: Lean
All languages
Agda
Assembly
C
C#
C++
CMake
Chapel
Common Lisp
Crystal
D
Dart
Elm
F#
F*
Factor
Fortran
Futhark
HTML
Haskell
Haxe
Idris
Java
JavaScript
Julia
Jupyter Notebook
Lean
Lua
Makefile
Markdown
Mathematica
Max
Mercury
Nix
OCaml
PHP
Perl
Prolog
Python
Ruby
Rust
SCSS
Scala
Shell
Standard ML
Tcl
TeX
TypeScript
Vala
Zig
sed
Nothing to show
Sort by: Most stars
4
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover