Popular repositories Loading

1. naproche naproche Public

   Write formal proofs in natural language and LaTeX.

   TeX 39 6

2. FLib FLib Public

   A library of (checked) mathematical texts

   FreeMarker 10 3

3. real-analysis real-analysis Public

   Naproche formalization of real analysis, based on Walter Rudin’s Principles of Mathematical Analysis

   FreeMarker 3

4. web-naproche web-naproche Public

   Web port of Naproche

   Haskell 2 1

5. Talks Talks Public

   Slides and occasionally video links for all naproche-related talks

   1

6. webinterface webinterface Public

   The vue.js webinterface for naproche

   JavaScript 1