Pull Requests - Pantograph - git.leni.sh

New Pull Request

fix: Tactics should produce .syntheticOpaque goals

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

0.2.19

test: Use lake test. Retired Makefile

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

misc/test-driver

fix: Prevent incorrect inheritance of calc rhs

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

0.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

0.3