Similar repositories to riaqn/orton:
riaqn/orton
github
similar
barras/cic-model
github
similar
jonsterling/lecture-notes
github
similar
danistefanovic/build-your-own-x
github
similar
tuvtran/project-based-learning
github
similar
groupoid/anders
github
similar
Saizan/cat
github
similar
NeM-T/Formalizing-TaPL
github
similar
simhu/ecwf
github
similar
JasonGross/lob-paper
github
similar
jaycech3n/CwF
github
similar
zmwangx/Typeset-EGA-SGA
github
similar
o89/bum
github
similar
JLimperg/well-founded-corecursion
github
similar
UlrikBuchholtz/nominal-hott
github
similar
silvanshade/agda-nr-cats
github
similar
xuanruiqi/algebraic-geometry
github
similar
EUProofInfra/EUProofInfra
github
similar
anjapetkovic/type-theory-slovene-dictionary
github
similar
ytomino/gmp-ocaml
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
andrejbauer/miniLCF
github
similar
jmchapman/TT-in-TT
github
similar
pigworker/LibAgda
github
similar
DavidJaz/Cohesion
github
similar
AndrasKovacs/preordertt
github
similar
Deducteam/Agda2Dedukti
github
similar
TOTBWF/agda-sgd
github
similar
nmvdw/groupoids
github
similar
RedPRL/sml-final-pretty-printer
github
similar
andrejbauer/clerical
github
similar
groupoid/infinity
github
similar
MrChico/Reals-in-agda
github
similar
peterthiemann/definitional-session
github
similar
larrytheliquid/generic-elim
github
similar
nachivpn/nbe-stlc
github
similar
jashug/WhyNotW
github
similar
MatthewFluet/company-mlton
github
similar
CMU-HoTT/serre-finiteness
github
similar
pigworker/SSGEP-DataData
github
similar