Skip to content

Add Pantograph-like approach to tactic mode - #90

Draft
augustepoiroux wants to merge 8 commits into
leanprover-community:masterfrom
augustepoiroux:linear_proofstate
Draft

Add Pantograph-like approach to tactic mode#90
augustepoiroux wants to merge 8 commits into
leanprover-community:masterfrom
augustepoiroux:linear_proofstate

Fix a few tests

a1de50b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs