Skip to content

v0.0.17
Compare
Choose a tag to compare
@Vtec234 Vtec234 released this 27 Sep 20:36
· 195 commits to main since this release
v0.0.17
9f68f14
This commit was signed with the committer’s verified signature. The key has expired.
Vtec234 Wojciech Nawrocki
GPG key ID: 4E27C2EBC32B69B7
Expired
Verified
Learn about vigilant mode. 
feat: improve json% syntax

See https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/json.20elaborator.
Assets 5
Loading