swMATH15148MaRDI QIDQ27041FDOQ27041
Author name not available (Why is that?)
Official website: https://lean-lang.org/
Source code repository: https://github.com/leanprover/lean4
Cited In (only showing first 100 items - show all)
- TkWinHOL
- Algolib
- Mizar
- Kenzo
- Isabelle/ZF
- Matita
- HOL Light
- Isabelle/PIDE
- QMT
- Lurch
- Polar
- AutPGrp
- Agda
- Epigram
- CalcCheck
- Irdis
- ForTheL
- Gmeta
- LNgen
- Quantomatic
- TLPVS
- Poly/ML
- Coquelicot
- Manip
- Autoref
- Eisbach
- Aglet
- Metamath
- dedukti
- Vellvm
- McBits
- HoTT
- MathScheme
- UniMath
- MedOlDatschgerl
- AUTO2
- Globular
- miz3
- CoqMTU
- CkAnalytic
- Idris
- Pilsner
- XBarnacle
- AmiCo
- Literate CoffeeScript
- Markdown
- MathQuill
- nsoks
- webLurch
- Transfer
- GRAT
- cubicaltt
- jsfs
- AGREE
- Jordan
- kepler98
- MathOverflow
- RedPRL
- HOLCF
- TinyMCE
- HoTTSQL
- Bedrock
- Cayley-Hamilton
- Archive Formal Proofs
- Berlekamp Zassenhaus
- Naproche
- ELPI
- Echelon Form
- Equations
- Density Compiler
- Lp spaces
- EPGY
- Logic2CNF
- CAVA LTL Modelchecker
- MadMax
- Perron Frobenius
- Free Groups
- Coccinelle
- CoqHammer
- Zoo Probabilistic Systems
- VerifyThis
- Cytoscape.js
- CoffeeScript
- LegalRuleML
- Mathematical Components
- Walnut
- GREEND
- BDDTab
- Stacks Project
- GeoCoq
- Heq
- Slakje
- WhaleProver
- Rust2Viper
- TensorSpace
- mathlib
- HACL*
- Metamath Zero
- Naproche-SAD
- DoCon-A
This page was built for software: Lean
