Similar repositories to Alasdair/IsabelleAlgebra:

• Alasdair/IsabelleAlgebra github similar
• lolesvalverde/MDenHaskell github similar
• NICTA/l4v github similar
• proofpeer/proofpeer-proofscript github similar
• brunofx86/LL github similar
• jin/subtyping github similar
• moajohansson/IsaHipster github similar
• benjaminselfridge/logix github similar
• haskellari/lattices github similar
• logic-tools/sml-handbook github similar
• rodrigogribeiro/agda-software-foundations github similar
• isabelle-prover/mirror-isabelle github similar
• ryukinix/discrete-mathematics github similar
• HaskellChamber/Haskell-University github similar
• NICTA/cogent github similar
• david-christiansen/pie-hs github similar
• zfoh/HaskellerZ github similar
• williamdemeo/TypeFunc github similar
• nick8325/quickspec github similar
• EgbertRijke/HoTT-Intro github similar
• DSLsofMath/DSLsofMath github similar
• FormalTheology/GoedelGod github similar
• ProofGeneral/PG github similar
• jagajaga/FP-Course-ITMO github similar
• quchen/articles github similar
• leanprover-community/mathlib github similar
• Gabriel439/post-rfc github similar
• lalrpop/lalrpop github similar