Similar repositories to ioannad/NBG_HOL:

• ioannad/NBG_HOL github similar
• danistefanovic/build-your-own-x github similar
• leo-colisson/zx-calculus github similar
• prathamesh-t/Tangle-Isabelle github similar
• andriusvelykis/isabelle-eclipse github similar
• kbuzzard/lean-stacks-project github similar
• bzhan/auto2 github similar
• jonsterling/math github similar
• favonia/hdtt2020-notes github similar
• zaklogician/typical-antiphrasis github similar
• iblech/internal-methods github similar
• rjmarsan/PlasmaSound github similar
• semorrison/lean-category-theory github similar
• bamboo/IdrisUnityPlayground github similar
• KiCad/kicad-winbuilder github similar
• UniMath/Schools github similar
• codyroux/name-the-biggest-number github similar
• GrammaticalFramework/gf-contrib github similar
• AJFaraday/Text-to-music github similar
• leanprover-community/lean-perfectoid-spaces github similar
• mikeshulman/catlog github similar
• tkzic/internet-sensors github similar
• wenkokke/schmitty github similar
• CNMAT/CNMAT-MMJ-Depot github similar
• conal/denotational-hardware github similar
• david-christiansen/idris-type-providers github similar
• diekmann/Iptables_Semantics github similar
• flypitch/flypitch github similar
• open-ideas/IDEAS github similar
• seL4/isabelle github similar
• UniMath/agda-unimath github similar
• eth-sri/psi github similar
• natcl/maxtoolbox github similar
• FedFod/Max-MSP-Jitter github similar
• lukexi/rumpus github similar
• ZeroPhone/ZeroPhone-PCBs github similar
• kbuzzard/xena github similar
• NICTA/cogent github similar
• idris-hackers/idris-koans github similar
• kframework/kore github similar