Skip to content
@naproche

Naproche Community

Popular repositories Loading

  1. naproche naproche Public

    Write formal proofs in natural language and LaTeX.

    Haskell 32 7

  2. FLib FLib Public

    A library of (checked) mathematical texts

    FreeMarker 9 3

  3. web-naproche web-naproche Public

    Web port of Naproche

    Haskell 2 1

  4. Talks Talks Public

    Slides and occasionally video links for all naproche-related talks

    1

  5. webinterface webinterface Public

    The vue.js webinterface for naproche

    JavaScript 1

  6. real-analysis real-analysis Public

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

    FreeMarker 1

Repositories

Showing 10 of 10 repositories
  • naproche Public

    Write formal proofs in natural language and LaTeX.

    naproche/naproche’s past year of commit activity
    Haskell 32 GPL-3.0 7 1 1 Updated Nov 26, 2024
  • naproche.github.io Public

    See https://naproche.github.io

    naproche/naproche.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 25, 2024
  • Talks Public

    Slides and occasionally video links for all naproche-related talks

    naproche/Talks’s past year of commit activity
    1 0 0 0 Updated Nov 25, 2024
  • webinterface Public

    The vue.js webinterface for naproche

    naproche/webinterface’s past year of commit activity
    JavaScript 1 MIT 0 0 0 Updated Jul 3, 2024
  • try Public

    The compiled web interface of Naproche, hosted via GitHub Pages

    naproche/try’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jul 3, 2024
  • FLib Public

    A library of (checked) mathematical texts

    naproche/FLib’s past year of commit activity
    FreeMarker 9 3 0 0 Updated May 6, 2024
  • render Public

    Naproche formalizations as HTML+MathML documents

    naproche/render’s past year of commit activity
    0 0 0 0 Updated Oct 11, 2023
  • tutorial Public
    naproche/tutorial’s past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Oct 13, 2022
  • real-analysis Public

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

    naproche/real-analysis’s past year of commit activity
    FreeMarker 1 CC0-1.0 0 0 0 Updated Sep 20, 2022
  • web-naproche Public

    Web port of Naproche

    naproche/web-naproche’s past year of commit activity
    Haskell 2 MIT 1 0 0 Updated Apr 6, 2022

Top languages

Loading…

Most used topics

Loading…