Pull Requests - Pantograph - git.leni.sh

New Pull Request

chore: Update version to 0.3.5

#237 by aniva was merged 2025-07-12 12:09:33 -07:00

v0.3.5

chore: Update Lean to v4.21.0

#223 by aniva was merged 2025-07-02 14:59:31 -07:00

chore/toolchain

v0.3.4

chore: Update Nix flake

#214 by aniva was merged 2025-06-20 14:03:07 -07:00

chore/toolchain

v0.3.3

refactor: Use syntax tactic in unit test

#207 by aniva was merged 2025-06-17 11:51:36 -07:00

v0.3.2

chore: Update Lean to v4.19.0

#205 by aniva was merged 2025-06-16 13:54:09 -07:00

chore/toolchain

v0.3.2

chore: Code cleanup

#202 by aniva was merged 2025-06-16 13:57:27 -07:00

v0.3.2

test: Update LSpec

#182 by aniva was merged 2025-03-29 15:44:30 -07:00

chore: Cleanup the library system

part/Environment

#169 by aniva was merged 2025-03-08 21:19:01 -08:00

v0.3

chore: Version bump

#168 by aniva was merged 2025-02-25 15:16:44 -08:00

v0.3

chore: Code cleanup

#164 by aniva was merged 2025-01-26 22:04:13 -08:00

v0.2.25