Fibred and Displayed Categories in Lean 4Date: April 16, 2024Link to the programCodebase on GithubShare on Twitter LinkedIn Previous Next
