Pinned Repositories
formal-iit
hott3
HoTT in Lean 3
iit
Lean 4 IITs
indind-agda
isabelle_algebra
Isabelle Algebra Sandbox
kvvx
KVV Express is an engine redirecting bus and train schedule requests expressed in natural language
mathlib4
Work in progress mathlib port for lean 4
msc-thesis
strings-tikz
Tikz String Diagrams for braided monoidal categories
aegis
Verify Cairo contracts in Lean 4
javra's Repositories
javra/iit
Lean 4 IITs
javra/msc-thesis
javra/indind-agda
javra/isabelle_algebra
Isabelle Algebra Sandbox
javra/kvvx
KVV Express is an engine redirecting bus and train schedule requests expressed in natural language
javra/strings-tikz
Tikz String Diagrams for braided monoidal categories
javra/formal-iit
javra/mathlib4
Work in progress mathlib port for lean 4
javra/strings
String Diagrams for Ring-and-Rope Puzzles
javra/hott3
HoTT in Lean 3
javra/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
javra/corelib_verification
javra/cubes
Cubcial sets in Lean.
javra/formalverification.xyz
A website listing all the best FV companies in the Crypto space.
javra/if-agda
javra/javra.github.io
javra/lean
Lean Theorem Prover
javra/lean4
Lean 4 programming language and theorem prover
javra/lean4-metaprogramming-book
javra/leanprover.github.io
www
javra/mathlib
Lean mathematical components library
javra/presentations
lean-related presentations
javra/sail
Sail architecture definition language
javra/sheaves_reading_group
javra/std4
Standard Library for Lean 4
javra/szumification
Formalization of Szumification and its correctness
javra/tutorial
Lean Tutorials
javra/YatimaStdLib.lean