foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

leanprover/TensorLib

A verified tensor library in Lean

project-oak/silveroak

Formal specification and verification of hardware, especially for security and privacy.

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

jlapeyre/Symata.jl

language for symbolic mathematics

leanprover-community/lean-perfectoid-spaces

Perfectoid spaces in the Lean formal theorem prover.