issues
search
berenoguz
/
Math
Formalization of Mathematics using Type Theory of Agda Programming Language
GNU General Public License v3.0
11
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Logic.agda not compiling
#13
Agnishom
closed
6 years ago
1
Abstract normal groups and prove that cosets of normal groups form a group
#12
berenoguz
closed
6 years ago
1
Group Reasoning
#11
berenoguz
closed
6 years ago
1
Better Set Theory
#10
berenoguz
closed
6 years ago
1
Centralizers include all members of S
#9
berenoguz
opened
6 years ago
1
Group order
#8
berenoguz
closed
6 years ago
0
Stronger inference
#7
berenoguz
closed
6 years ago
1
Cosets
#6
berenoguz
closed
6 years ago
0
Improve working on equality reasoning
#5
berenoguz
closed
6 years ago
0
Add diagonal inference of equality
#4
berenoguz
closed
6 years ago
1
Simplify the proof of uniqueness of inverses
#3
berenoguz
closed
6 years ago
1
Open structure inside theorem
#2
berenoguz
closed
6 years ago
1
In the definition of uniqueness quantifier, take the argument explicitly
#1
berenoguz
closed
6 years ago
0