Commit 2023-06-10 10:48 a55642fc
View on Github →refactor: Defs and Lemmas files for Bitvec (#4899)
The Core
file was just dumped from Lean3 core. I've split it into Defs
and Lemmas
in the style of the List
folder for example.
refactor: Defs and Lemmas files for Bitvec (#4899)
The Core
file was just dumped from Lean3 core. I've split it into Defs
and Lemmas
in the style of the List
folder for example.