Similar repositories to berenoguz/Math:
berenoguz/Math
github
similar
gibiansky/IHaskell
github
similar
ReactTraining/react-router
github
similar
acallesalda/setform
github
similar
zaklogician/linear-constructive
github
similar
konn/sdg-agda
github
similar
jonaprieto/agda-prop
github
similar
gallais/agda-presburger
github
similar
algebraic-graphs/agda
github
similar
philzook58/nand2coq
github
similar
sharkdp/purescript-ctprelude
github
similar
mpedramfar/Lean-game-maker
github
similar
AndrasKovacs/system-f-omega
github
similar
joneshf/elm-brands
github
similar
RyanMarcus/vulcan
github
similar
UniFormal/MMT
github
similar
sstucki/system-f-agda
github
similar
Functional-AutoDiff/STALINGRAD
github
similar
ImperialCollegeLondon/real-number-game
github
similar
re-xyr/cleff
github
similar
scott-fleischman/agda-from-nothing
github
similar
Karmaki/coq-dpdgraph
github
similar
DistributedComponents/disel
github
similar
leanprover-community/lean-perfectoid-spaces
github
similar
commandodev/oHm
github
similar
Ptival/PeaCoq
github
similar
jozefg/blott
github
similar
rems-project/lem
github
similar
docopt/docopt.hs
github
similar
bodil/purescript-is-magic
github
similar
MaiaVictor/Cedille-Core
github
similar
mit-plv/riscv-semantics
github
similar
flyspeck/flyspeck
github
similar
larrytheliquid/Lemmachine
github
similar
agda/agda-categories
github
similar
coq-community/math-classes
github
similar
ivanperez-keera/dunai
github
similar
cedille/cedille
github
similar
ekmett/hask
github
similar
cpitclaudel/alectryon
github
similar