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