3 ms·

lean4 - programming language and theorem prover https://lean-lang.org/ https://lean-lang.org/ https://github.com/leanprover/lean4 https://github.com/leanprove

by yboris 2y ago

lean4 - programming language and theorem prover https://lean-lang.org/ https://lean-lang.org/ https://github.com/leanprover/lean4 https://github.com/leanprover/lean4