Skip to content

chore: update HoTTLean to Lean 4.34.1 - #178

Open
sosudo wants to merge 362 commits into
sinhp:masterfrom
sosudo:pr
Open

chore: update HoTTLean to Lean 4.34.1#178
sosudo wants to merge 362 commits into
sinhp:masterfrom
sosudo:pr

chore: prepare combined migration for upstream

e3496fe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs