Sylph
F# language-integrated proof assistant.
Activity
- Latest release
- 6y ago
- Total releases
- 6
- Cadence
- ~4 days
- Last 12 months
- 0
Details
- First release
- Feb 22, 2020
Releases
| Version | Released | |
|---|---|---|
0.2.5.2
patch
| ||
0.2.5.1
patch
| ||
0.2.5
patch
| ||
0.2.4
patch
| ||
0.2.3
minor
| ||
0.1.0
initial
|