deaduction
Graphical proof assistant for learning proofs
View on Github
Activity
- Latest release
- 8mo ago
- Total releases
- 14
- Cadence
- ~daily
- Last 12 months
- 8
Reach
- Stars
- —
Details
- License
- custom
- First release
- Jul 28, 2024
Releases
| Version | Released | |
|---|---|---|
0.4
minor
| ||
0.3.99985
patch
| ||
0.3.99984
patch
| ||
0.3.99983
patch
| ||
0.3.99982
patch
| ||
0.3.99981
patch
| ||
0.3.9998a0
pre
| ||
0.3.9998
patch
| ||
0.3.9997
patch
| ||
0.3.9996
patch
| ||
0.3.9995
patch
| ||
0.3.9994
patch
| ||
0.3.9993
patch
| ||
0.3.9992
initial
|