Popular repositories Loading

1. MPTP2 MPTP2 Public

   Forked from JUrban/MPTP2

   Prolog

2. deepmath deepmath Public

   Forked from tensorflow/deepmath

   Experiments towards neural network theorem proving

   C++

3. milewski-ctfp-pdf milewski-ctfp-pdf Public

   Forked from hmemcpy/milewski-ctfp-pdf

   Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

   TeX

4. milewski-ctfp-lean milewski-ctfp-lean Public

   Lean package for code snippets to accompany ctfp book by Milewski

   Lean