Skip to content

@naproche Naproche Community

All

    Repositories list

    11 repositories

    • naproche

      Public
      Write formal proofs in natural language and LaTeX.
      latexnaprocheforthel
      latexnaprocheforthel
      TeX
      •
      GNU General Public License v3.0
      •8•53•25•1•Updated Sep 30, 2026Sep 30, 2026

    • naproche.github.io

      Public
      See https://naproche.github.io
      HTML
      •0•0•0•0•Updated Sep 11, 2026Sep 11, 2026

    • Talks

      Public
      Slides and occasionally video links for all naproche-related talks
      0•2•0•0•Updated Nov 19, 2025Nov 19, 2025

    • school

      Public
      Website for the EuroProofNet School on Natural Formal Mathematics
      HTML
      •0•1•0•0•Updated Jun 12, 2025Jun 12, 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•6•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.