Skip to content

Update src/verso/Verso/Doc/Reconstruct.lean

d076d39
Select commit
Loading
Failed to load commit list.
Open

refactor: rename VersoDoc to DocThunk #691

Update src/verso/Verso/Doc/Reconstruct.lean
d076d39
Select commit
Loading
Failed to load commit list.