| #
3f7dd076 |
| 05-Jul-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Added parsing and visualization using python
|
| #
b68e3724 |
| 28-Nov-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"
|
| #
f9af2148 |
| 23-Nov-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
button name: mizf to Compile
|
| #
6b7e227c |
| 13-Sep-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Initial commit
|