Similar repositories to oisdk/agda-ring-solver:
oisdk/agda-ring-solver
github
similar
danistefanovic/build-your-own-x
github
similar
RobertHarper/hott-notes
github
similar
gibiansky/IHaskell
github
similar
groupoid/anders
github
similar
tootsuite/mastodon
github
similar
anuyts/menkar
github
similar
flupe/generics
github
similar
roglo/coq_real
github
similar
Lysxia/coq-recursion-schemes
github
similar
jonsterling/lecture-notes
github
similar
tuvtran/project-based-learning
github
similar
alhassy/gentle-intro-to-reflection
github
similar
laMudri/generic-lr
github
similar
Lysxia/system-F
github
similar
conal/calculating-compilers-agda
github
similar
L-TChen/FiniteSets
github
similar
pigworker/Gigs-Summer-2018
github
similar
gallais/agda-sizedIO
github
similar
dlicata335/cart-cube
github
similar
smimram/catt
github
similar
ecavallo/ptt
github
similar
homotopy-io/homotopy-webclient
github
similar
fredefox/cat
github
similar
metaborg/linear.agda
github
similar
scmu/foundations-harper
github
similar
avigad/qpf
github
similar
algebraic-graphs/agda
github
similar
mikeshulman/ohtt
github
similar
jespercockx/agda2scheme
github
similar
m-yac/tt-in-cagda
github
similar
ichistmeinname/free-theorems
github
similar
DmxLarchey/ite-normalisation
github
similar
neel-krishnaswami/linearml
github
similar
jespercockx/ataca
github
similar
gallais/agdarsec
github
similar
philzook58/lens-algebra
github
similar
mit-plv/rewriter
github
similar
TOTBWF/cubical-categories
github
similar
molikto/mlang
github
similar