A DSL for HoTT in Lean 4Date: August 01, 2024 Recording of the talk Github repositoryShare on Twitter LinkedIn Previous Next
