Skip to content

Releases: lenianiva/Pantograph

0.2.14

29 Mar 05:53
@lenianiva lenianiva
v0.2.14
This tag was signed with the committer’s verified signature.
lenianiva Leni Aniva
GPG key ID: 4D9B1C8D10EA4C50
Learn about vigilant mode.
aeed233
Compare
Choose a tag to compare
0.2.14 Pre-release
Pre-release
  1. FFI interface
  2. Remove _auxLemma and macro scopes from catalog and dependencies
  3. Nix flake based development environment and tests
Assets 2
Loading