Popular repositories Loading

1. sagemath sagemath Public

   a mathematical axiom proving system written in python, common-lisp, C++ and php based on sympy, maxima and mathematica.

   Python 1

2. engine engine Public

   C++

3. lean lean Public

   lean4 project translated in python

   Python

4. coq coq Public

   coq project translated into python

5. Isabelle Isabelle Public

   Isabelle project translated int Python

6. astor astor Public

   Forked from berkerpeksag/astor

   Python AST read/write

   Python