Skip to content

@proofscape Proofscape

Change the repository type filter

All

    Repositories list

    16 repositories

    • pise

      Public
      PISE, the Proofscape Integrated Study Environment
      Python
      •
      Apache License 2.0
      •1•2•2•0•Updated Jul 20, 2024Jul 20, 2024

    • docs

      Public
      Where PISE becomes self-documenting
      Python
      •
      Mozilla Public License 2.0
      •1•0•0•0•Updated Jun 18, 2024Jun 18, 2024

    • pfsc-examp

      Public
      Example explorers for Proofscape
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • displaylang

      Public
      Just enough Python to write displays
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • pfsc-moose

      Public
      Interactive flow charts for Proofscape
      JavaScript
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • pfsc-repo-build-action

      Public
      Proofscape repo build action
      MIT License
      •1•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • pfsc-test-modules

      Public
      Test modules for pfsc-server
      Python
      •
      Mozilla Public License 2.0
      •0•0•0•0•Updated Jun 2, 2024Jun 2, 2024

    • rtd

      Public
      0•0•0•0•Updated Feb 5, 2024Feb 5, 2024

    • sphinx-proofscape

      Public
      Sphinx extension for Proofscape
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated May 23, 2023May 23, 2023

    • pfsc-demo-repos

      Public
      Proofscape demo repos
      Mozilla Public License 2.0
      •0•0•0•0•Updated Apr 16, 2023Apr 16, 2023

    • pfsc-pdf

      Public
      Fork of pdf.js for use with Proofscape
      JavaScript
      •
      Apache License 2.0
      •1•0•0•0•Updated Apr 14, 2023Apr 14, 2023

    • pfsc-manage

      Public
      Management for Proofscape development
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 28, 2022Nov 28, 2022

    • pfsc-ise

      Public
      The client side of the Proofscape ISE
      JavaScript
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 22, 2022Nov 22, 2022

    • pbe

      Public
      The Proofscape Browser Extension
      JavaScript
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 13, 2022Nov 13, 2022

    • sympy

      Public
      A computer algebra system written in pure Python
      Python
      •
      Other
      •4.4k•0•0•0•Updated Aug 21, 2022Aug 21, 2022

    • pfsc-util

      Public
      Utilities for Proofscape
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 21, 2022Aug 21, 2022