Skip to content

Refactor toolchain version handling in tactic parser; streamline vers…

0268571
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Refactor theorem extraction and declaration preprocessing #68

Refactor toolchain version handling in tactic parser; streamline vers…
0268571
Select commit
Loading
Failed to load commit list.