Home » org.replikativ » ansatz

Ansatz

Verified Clojure via Lean 4 Mathlib — write Clojure, prove it correct
LicenseApache 2.0
Tagsclojure
Ranking
#431281in MvnRepository
HomePage https://github.com/replikativ/ansatz 🔍 Inspect URL
Links

Latest Versions

57 versions →
VersionVulnerabilitiesUsagesDate
0.2.x
0.2.74
0
Jul 05, 2026
0.2.73
0
Jul 05, 2026
0.2.72
0
Jul 05, 2026
0.1.x
0.1.67
0
Jun 25, 2026
0.1.66
0
Jun 23, 2026
0.1.65
0
Jun 23, 2026
57 versions →