UniMath agda-unimath General · Discussions · GitHub

Full Width Links In Sidebar
General fweth

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

Should equality proofs in elementary-number-theory be abstracted?
elementary-number-theory computational-behavior
fredrik-bakke started Mar 30, 2024 in General

0
You must be logged in to vote

Full Width Links In Sidebar
website
fweth started Mar 16, 2024 in General

2