Pull requests - aniva/Pantograph - git.leni.sh

aniva/Pantograph

New pull request

fix: Tactics should produce .syntheticOpaque goals

#100 by aniva was merged 2024-10-03 08:47:31 -07:00

v0.2.19

test: Use lake test. Retired Makefile

#87 by aniva was merged 2024-08-18 12:24:56 -07:00

fix: Prevent incorrect inheritance of calc rhs

#66 by aniva was merged 2024-04-12 20:52:18 -07:00

v0.3

test: Option controlled mvar instantiation

#44 by aniva was merged 2024-01-17 22:27:44 -08:00

chore: Remove unnecessary unsafe's

#29 by aniva was merged 2023-11-06 11:44:58 -08:00

WIP: Proof tracing from theorem library

part/Environment

#28 by aniva was closed 2024-04-11 15:45:01 -07:00

v0.3