Similar repositories to mertdumenci/system-lk:

• mertdumenci/system-lk github similar
• trifunovski/Resolution-Theorem-Prover github similar
• kwf/Presburger github similar
• mrkgnao/utt github similar
• dschepler/coq-zorns-lemma github similar
• MatthewStein/adrenalina github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/agda-abt github similar
• jdublu10/pacman github similar
• kcsmnt0/proof-trees github similar
• joom/modal github similar
• MathiasVP/idris-regex github similar
• BekaValentine/basic-proof-development github similar
• mishun/henk2000 github similar
• nachivpn/nbe-stlc github similar
• joom/Guguk github similar
• jonsterling/sml-modernized-algol github similar
• hgoes/smtlib2 github similar
• jonsterling/lcf-sequent-calculus-example github similar
• takanuva/coc github similar
• andreasabel/ipl github similar
• msullivan/sml-util github similar
• benjaminselfridge/logix github similar
• hurryabit/pukeko github similar
• ezyang/lr-agda github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• TheoWinterhalter/phd-thesis github similar
• sstucki/pts-agda github similar
• wenkokke/msla2014 github similar
• ayberkt/grammar-inference github similar
• jespercockx/popl19-tutorial github similar
• olivierverdier/pydflatex github similar
• gallais/agda-presburger github similar
• osa1/MANTI github similar
• rodrigogribeiro/agda-software-foundations github similar
• vlopezj/coq-course github similar
• kamholz/latreex github similar
• zaklogician/typical-antiphrasis github similar
• mr-ohman/logrel-mltt github similar
• WhatisRT/meta-cedille github similar