Similar repositories to wenkokke/FirstOrderUnificationInAgda:

• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/sml-abt github similar
• jonsterling/twelf-itt github similar
• trifunovski/Resolution-Theorem-Prover github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-kripke-schema github similar
• jonsterling/sml-spreads github similar
• kwf/Presburger github similar
• jozefg/regex github similar
• steshaw/hsChess github similar
• klntsky/haskell-holes-th github similar
• jonsterling/agda-abt github similar
• GallagherCommaJack/tt-provability github similar
• amintimany/OPLSS github similar
• mertdumenci/system-lk github similar
• jonsterling/agda-nominal-sets github similar
• wjzz/Agda-theorem-library github similar
• mrkgnao/utt github similar
• dankoi/metamath github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• wjzz/Agda-mode-improvements github similar
• dschepler/coq-zorns-lemma github similar
• MatthewStein/adrenalina github similar
• gergoerdi/stlc-agda github similar
• pigworker/BiF github similar
• jonsterling/sml-modernized-algol github similar
• jdublu10/pacman github similar
• kcsmnt0/proof-trees github similar
• wjzz/Agda-small-developments-and-examples github similar
• fsestini/nbe-weak-stlc github similar
• joom/regexp-agda github similar
• joom/modal github similar
• MathiasVP/idris-regex github similar
• nachivpn/gluetn github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• maxsnew/grammars-and-semantic-actions github similar
• BekaValentine/basic-proof-development github similar
• adamterlson/catan-board github similar
• pigworker/WhatRTypes4 github similar
• gendx/ocaml-algebra github similar