#
- Spain
Block or Report
Block or report jiep
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Language: Lean
All languages
AGS Script
Ada
Arduino
Assembly
Bikeshed
C
C#
C++
CMake
COBOL
CSS
Clojure
CoffeeScript
Coq
Cuda
Dockerfile
Elixir
Erlang
F*
Fortran
Go
HCL
HTML
Haskell
JSON
Java
JavaScript
Jinja
Jsonnet
Julia
Jupyter Notebook
Kotlin
Lean
Lua
MDX
Makefile
Mathematica
Meson
OCaml
Objective-C
OpenQASM
PHP
Perl
PostScript
PowerShell
Prolog
Pug
PureScript
Python
R
Roff
Ruby
Rust
SCSS
SVG
Sage
Scala
Shell
Solidity
Stylus
Svelte
Swift
TeX
Toit
TypeScript
V
Vue
WebAssembly
Zig
eC
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Lean
Clear filter
Lean 4 programming language and theorem prover