Skip to content

@naproche Naproche Community

Change the repository type filter

All

    Repositories list

    11 repositories

    • naproche.github.io

      Public
      See https://naproche.github.io
      HTML
      •0•0•0•0•Updated Jul 3, 2025Jul 3, 2025

    • naproche

      Public
      Write formal proofs in natural language and LaTeX.
      latexnaprocheforthel
      TeX
      •
      GNU General Public License v3.0
      •6•39•11•1•Updated Jun 25, 2025Jun 25, 2025

    • school

      Public
      Website for the EuroProofNet School on Natural Formal Mathematics
      HTML
      •0•0•0•0•Updated Jun 12, 2025Jun 12, 2025

    • Talks

      Public
      Slides and occasionally video links for all naproche-related talks
      0•1•0•0•Updated Jun 10, 2025Jun 10, 2025

    • FLib

      Public
      A library of (checked) mathematical texts
      FreeMarker
      •3•10•0•0•Updated Mar 17, 2025Mar 17, 2025

    • webinterface

      Public
      The vue.js webinterface for naproche
      JavaScript
      •
      MIT License
      •0•1•0•0•Updated Jul 3, 2024Jul 3, 2024

    • try

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

    • render

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

    • tutorial

      Public
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 13, 2022Oct 13, 2022

    • real-analysis

      Public
      Naproche formalization of real analysis, based on Walter Rudin’s Principles of Mathematical Analysis
      FreeMarker
      •
      Creative Commons Zero v1.0 Universal
      •0•3•0•0•Updated Sep 20, 2022Sep 20, 2022

    • web-naproche

      Public
      Web port of Naproche
      Haskell
      •
      MIT License
      •1•2•0•0•Updated Apr 6, 2022Apr 6, 2022