Similar repositories to dankoi/metamath:

• dankoi/metamath github similar
• wilcoxjay/miniprl-coq github similar
• ilya-klyuchnikov/minimetamix github similar
• pigworker/BiF github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• andrejbauer/dependent-type-theory-syntax github similar
• jonsterling/sml-logical-framework github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• agda/agda-assoc-free github similar
• pigworker/WhatRTypes4 github similar
• andreasabel/ipl github similar
• FFaissole/Valuations github similar
• ericfinster/opetopic-types github similar
• gergoerdi/stlc-agda github similar
• jyp/sctt github similar
• thibautbenjamin/catt github similar
• logsem/mitten_preorder github similar
• wenkokke/msla2014 github similar
• pigworker/Bi71 github similar
• VictorCMiraldo/agda-rw github similar
• jonsterling/lcf-sequent-calculus-example github similar
• pigworker/Vole github similar
• JorisCeulemans/sikkel github similar
• peterlefanulumsdaine/palmgren-archive github similar
• ZongzheYuan/HaltingProblem github similar
• heades/System-F-Coq github similar
• theoremprover-museum/LCF77 github similar
• ezyang/lr-agda github similar
• sstucki/pts-agda github similar
• thsutton/cha github similar
• annenkov/two-level github similar
• vcvpaiva/DialecticaCategories github similar
• andreasabel/helf github similar
• pigworker/Samizdat github similar
• jmchapman/Relative-Monads github similar
• bitonic/tog github similar
• TheoWinterhalter/phd-thesis github similar
• pigworker/EGTBS github similar
• gallais/agda-presburger github similar
• kirkedal/rfun-interp github similar