Skip to content
Change the repository type filter

All

    Repositories list

    • naproche

      Public
      Write formal proofs in natural language and LaTeX.
      Haskell
      GNU General Public License v3.0
      73211Updated Nov 29, 2024Nov 29, 2024
    • HTML
      0000Updated Nov 28, 2024Nov 28, 2024
    • Talks

      Public
      Slides and occasionally video links for all naproche-related talks
      0100Updated Nov 25, 2024Nov 25, 2024
    • The vue.js webinterface for naproche
      JavaScript
      MIT License
      0100Updated Jul 3, 2024Jul 3, 2024
    • try

      Public
      The compiled web interface of Naproche, hosted via GitHub Pages
      JavaScript
      0000Updated Jul 3, 2024Jul 3, 2024
    • FLib

      Public
      A library of (checked) mathematical texts
      FreeMarker
      3900Updated May 6, 2024May 6, 2024
    • render

      Public
      Naproche formalizations as HTML+MathML documents
      0000Updated Oct 11, 2023Oct 11, 2023
    • tutorial

      Public
      JavaScript
      Apache License 2.0
      0000Updated Oct 13, 2022Oct 13, 2022
    • Naproche formalization of real analysis, based on Walter Rudin’s Principles of Mathematical Analysis
      FreeMarker
      Creative Commons Zero v1.0 Universal
      0100Updated Sep 20, 2022Sep 20, 2022
    • Web port of Naproche
      Haskell
      MIT License
      1200Updated Apr 6, 2022Apr 6, 2022