Mercurial > hg > Members > kono > Proof > galois

directory / @ 330:1ff0b95e437f default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
dir. src/ drwxr-xr-x
file .hgtags 493 -rw-r--r--
file Galois.agda-lib 102 -rw-r--r--
file Galois.agda-pkg 299 -rw-r--r--
file LICENSE.md 1119 -rw-r--r--
file README.md 927 -rw-r--r--