Mercurial > hg > Members > kono > Proof > galois

directory / @ 87:c68956f6c3ad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file .hgtags 49 -rw-r--r--
file Gutil.agda 6064 -rw-r--r--
file Putil.agda 19201 -rw-r--r--
file README.md 286 -rw-r--r--
file Solvable.agda 4121 -rw-r--r--
file Symmetric.agda 4036 -rw-r--r--
file fin.agda 4141 -rw-r--r--
file logic.agda 4604 -rw-r--r--
file nat.agda 11977 -rw-r--r--
file sym2.agda 4900 -rw-r--r--
file sym3.agda 1295 -rw-r--r--
file sym5.agda 9712 -rw-r--r--