javra

Pinned Repositories

formal-iit
Language:TeX1 2 00
hott3
HoTT in Lean 3
Language:Lean0 2 00
iit
Lean 4 IITs
Language:Lean8 2 02
indind-agda
Language:Agda6 5 01
isabelle_algebra
Isabelle Algebra Sandbox
Language:Isabelle4 2 02
kvvx
KVV Express is an engine redirecting bus and train schedule requests expressed in natural language
2 4 00
mathlib4
Work in progress mathlib port for lean 4
Language:Lean1 0 00
msc-thesis
Language:TeX8 2 01
strings-tikz
Tikz String Diagrams for braided monoidal categories
Language:TeX2 1 00
aegis
Verify Sierra programs in Lean 4
Language:Lean6 6 130

javra's Repositories

javra/iit
Lean 4 IITs
Language:Lean8 2 02
javra/msc-thesis
Language:TeX8 2 01
javra/indind-agda
Language:Agda6 5 01
javra/isabelle_algebra
Isabelle Algebra Sandbox
Language:Isabelle4 2 02
javra/kvvx
KVV Express is an engine redirecting bus and train schedule requests expressed in natural language
2 4 00
javra/strings-tikz
Tikz String Diagrams for braided monoidal categories
Language:TeX2 1 00
javra/formal-iit
Language:TeX1 2 00
javra/mathlib4
Work in progress mathlib port for lean 4
Language:Lean1 0 00
javra/strings
String Diagrams for Ring-and-Rope Puzzles
Language:Agda1 3 00
javra/hott3
HoTT in Lean 3
Language:Lean0 2 00
javra/cubes
Cubcial sets in Lean.
Language:Lean2 0
javra/if-agda
Language:Agda
javra/javra.github.io
Language:HTML
javra/lean
Lean Theorem Prover
Language:C++2 0
javra/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0
javra/lean4-metaprogramming-book
Language:Lean0 0
javra/leanprover.github.io
www
Language:Lean1 0
javra/mathlib
Lean mathematical components library
Language:Lean1 0
javra/presentations
lean-related presentations
Language:HTML2 0
javra/sheaves_reading_group
Language:HTML2 0
javra/std4
Standard Library for Lean 4
javra/szumification
Formalization of Szumification and its correctness
Language:Agda2 0
javra/tutorial
Lean Tutorials
Language:TeX2 0
javra/YatimaStdLib.lean
Language:Lean0 0