Mercurial > hg > Members > kono > Proof > galois

annotate README.md @ 87:c68956f6c3ad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tc fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 27 Aug 2020 11:44:58 +0900
parents 09fa2ab75703
children 206fc12e5c36
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
72
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 Galois Theory
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 ============
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 Shinji KONO (kono@ie.u-ryukyu.ac.jp), University of the Ryukyus
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ## Galois Theory
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 ```
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 Symmetric.agda symmetic group
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 Solvable.agda commutator and solvable
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 Gutil.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 Putil.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 fin.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 logic.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 nat.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 sym2.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 sym3.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 sym5.agda
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 ```
09fa2ab75703 add utilties
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23