Mercurial > hg > Members > kono > Proof > galois
directory /src/ @ 282:b70cc2534d2f
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
FLComm.agda | 8813 | -rw-r--r-- |
FLutil.agda | 11926 | -rw-r--r-- |
Fundamental.agda | 9063 | -rw-r--r-- |
Gutil.agda | 2819 | -rw-r--r-- |
Gutil0.agda | 3837 | -rw-r--r-- |
Putil.agda | 35898 | -rw-r--r-- |
Solvable.agda | 4800 | -rw-r--r-- |
Symmetric.agda | 4036 | -rw-r--r-- |
fin.agda | 4710 | -rw-r--r-- |
logic.agda | 4604 | -rw-r--r-- |
nat.agda | 12965 | -rw-r--r-- |
sym2.agda | 4417 | -rw-r--r-- |
sym2n.agda | 1473 | -rw-r--r-- |
sym3.agda | 11482 | -rw-r--r-- |
sym3n.agda | 1493 | -rw-r--r-- |
sym4.agda | 2154 | -rw-r--r-- |
sym5.agda | 14781 | -rw-r--r-- |
sym5a.agda | 3349 | -rw-r--r-- |
sym5n.agda | 2794 | -rw-r--r-- |