Popular repositories Loading

1. lean-agent lean-agent Public

   Automated natural language proofs verified by Lean

   Lean 2

2. schmidt_number schmidt_number Public

   Schmidt number certification via symmetric extensions.

   Julia 1

3. misc misc Public

   Simple miscellaneous scripts

   Python

4. pam_classicality pam_classicality Public

   Implementation and applications for arXiv:2101.10459

   TeX

5. mathfoundq mathfoundq Public

   http://www.ime.unicamp.br/~mfq/

   HTML 4

6. msc_thesis msc_thesis Public

   TeX