Similar repositories to tm507211/CoqPerceptron:

• tm507211/CoqPerceptron github similar
• imuli/flow github similar
• clarissalittler/pi-calculus github similar
• joom/idris-microKanren github similar
• WikiNoi/WikiNoi github similar
• amutake/coq-extensible-effects github similar
• gstew5/games github similar
• bravit/csd-utwente github similar
• arthurpaulino/LeanMusic github similar
• AndrasKovacs/preordertt github similar
• nbenton/x86proved github similar
• sergei-romanenko/staged-mrsc-agda github similar
• jonnylaw/ComposableStateSpaceModels github similar
• jonsterling/constructive-sheaf-semantics github similar
• valis/DT2018 github similar
• superhaNds/cwfs github similar
• smimram/catt github similar
• takanuva/cps github similar
• ziman/itt github similar
• MaiaVictor/Elementary-Affine-Core-legacy github similar
• nmvdw/Three-HITs github similar
• takanuva/coc github similar
• JoeyEremondi/lambda-pi-constraint github similar
• YouyouCong/type-preserving-cps github similar
• andrejbauer/clerical github similar
• leanprover/doc-gen4 github similar
• effectfully/random-stuff github similar
• levjj/esverify-theory github similar
• gallais/agda-sizedIO github similar
• palladin/idris-snippets github similar
• devaspot/milner github similar
• elpinal/seqmod github similar
• ericfinster/higher-alg github similar
• AtheMathmo/rugrads github similar
• RobertHarper/hott-notes github similar
• oisdk/agda-ring-solver github similar
• andrejbauer/dedekind-reals github similar
• twanvl/ttie github similar
• bobatkey/agda-metric-reals github similar
• pis147879/PELCR github similar