Group Reasoning - Githubissues

berenoguz / Math

Formalization of Mathematics using Type Theory of Agda Programming Language

GNU General Public License v3.0

11 stars 0 forks source link

Closed berenoguz closed 6 years ago

berenoguz commented 6 years ago

Make group reasoning better with instance arguments and overloading

berenoguz commented 6 years ago

Done