Mercurial > hg > Members > kono > Proof > galois
directory / @ 199:6c81c3d535d1
| name | size | permissions |
|---|---|---|
 .hgtags
|
199 | -rw-r--r-- |
|
FLComm.agda
|
4313 | -rw-r--r-- |
|
FLutil.agda
|
15966 | -rw-r--r-- |
|
Gutil.agda
|
6064 | -rw-r--r-- |
|
Putil.agda
|
36954 | -rw-r--r-- |
|
README.md
|
869 | -rw-r--r-- |
|
Solvable.agda
|
4768 | -rw-r--r-- |
|
Symmetric.agda
|
4036 | -rw-r--r-- |
|
fin.agda
|
4701 | -rw-r--r-- |
|
logic.agda
|
4604 | -rw-r--r-- |
|
nat.agda
|
12699 | -rw-r--r-- |
|
sym2.agda
|
4889 | -rw-r--r-- |
|
sym2n.agda
|
1473 | -rw-r--r-- |
|
sym3.agda
|
13025 | -rw-r--r-- |
|
sym3n.agda
|
1493 | -rw-r--r-- |
|
sym4.agda
|
2091 | -rw-r--r-- |
|
sym5.agda
|
14781 | -rw-r--r-- |
|
sym5n.agda
|
1117 | -rw-r--r-- |