Skip to content

refactor: various improvements for doing Lemma 3.9 (#51) #173

refactor: various improvements for doing Lemma 3.9 (#51)

refactor: various improvements for doing Lemma 3.9 (#51) #173

Everything.agda

succeeded May 26, 2024 in 4s