jobpetrovcic/Formal Mathematics Library Visualizer
Add a visual representation of a formal mathematics library to your github pages.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Maintainedlast commit Nov 30, 2025
- License
- MIT
Pinned Snippet
uses: jobpetrovcic/mathematical-library-visualizer@a98d24fad1d837dbcd218b18680a62d49861832e # no releases — HEAD as of 2026-07-11tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| language | Language of your project. Supported options are Agda or Lean. | — | — |
| file_type | Choose whether to compile a single file or library. Note: In both cases the file, or the .agda-stdlib file should be in the lowest level of your github repo. | — | — |
| mode | Choose how to present your library in your github pages. | — | — |
| install_libs | Choose whether to install additional libraries before checking your project. For a list of currently available libraries, check: https://github.com/JobPetrovcic/Mathematical-Library-Vizualizer | — | — |
| flags | An optional compiler/typechecker flags input. Example: "-flag1 -flag2". | — | "" |
| additional_commands | Execute additional command (run in your repo folder) before typechecking the file. This can be used, for example, to create your own everything.[language] file for this tool to typecheck and visualize. | — | "" |
Outputs
no outputs