Similar repositories to avigad/formal_methods_in_education:
avigad/formal_methods_in_education
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
edx/edx-platform
github
similar
hecrj/iced
github
similar
tuvtran/project-based-learning
github
similar
RiwanC/SpecEdit
github
similar
ayberkt/sml-system-t
github
similar
mbuliga/quinegraphs
github
similar
rzach/boxes-and-diamonds
github
similar
avigad/lamr
github
similar
Coq-Math-Problems/Problems
github
similar
Gabriel439/Haskell-Bears-Library
github
similar
avigad/polya
github
similar
awslabs/rust-smt-ir
github
similar
willhoag/awesome-reference-tools
github
similar
bolt12/tymfgg-pearl
github
similar
amarty66/lambdaway
github
similar
HerringtonDarkholme/vim-worksheet
github
similar
nasa/vscode-pvs
github
similar
LaifsV1/YUP
github
similar
scala-search/scaps
github
similar
OPLSS/oplss-notes-2017
github
similar
codedot/lambda
github
similar
carlohamalainen/pysecd
github
similar
slebok/slebok
github
similar
eprover/PyRes
github
similar
InitialTypes/Club
github
similar
DeepSpec/dsss18
github
similar
phuijse/P4J
github
similar
andrejbauer/mathematics-and-computation
github
similar
DimaKudosh/difflib
github
similar
shawwn/sparkvis
github
similar
wilbowma/mttex
github
similar
theoremprover-museum/theoremprover-museum.github.io
github
similar
uuverifiers/eldarica
github
similar
Mtac2/Mtac2
github
similar
prathyvsh/lambda-calculus-visualizations
github
similar
paulhendricks/awesome-open
github
similar
salmans/rusty-razor
github
similar