Mercurial > hg > Members > kono > Proof > galois
directory / @ 88:405c1f727ffe
| name | size | permissions |
|---|---|---|
 .hgtags
|
49 | -rw-r--r-- |
|
Gutil.agda
|
6064 | -rw-r--r-- |
|
Putil.agda
|
21299 | -rw-r--r-- |
|
README.md
|
286 | -rw-r--r-- |
|
Solvable.agda
|
4121 | -rw-r--r-- |
|
Symmetric.agda
|
4036 | -rw-r--r-- |
|
fin.agda
|
4141 | -rw-r--r-- |
|
logic.agda
|
4604 | -rw-r--r-- |
|
nat.agda
|
11977 | -rw-r--r-- |
|
sym2.agda
|
4811 | -rw-r--r-- |
|
sym3.agda
|
1353 | -rw-r--r-- |
|
sym4.agda
|
2231 | -rw-r--r-- |
|
sym5.agda
|
9712 | -rw-r--r-- |