☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
lean4-assert-command
A simple assertion command for Lean4
Displaying
1-1
of
1
versions of
lean4-assert-command
Sort by
Date
Not a part of any version track.
6ad74ff
2 years ago
Released on September 18, 2023 at 4:08:22PM
1
20
lean4-assert-commandlean4-assert-command