Published May 9, 2021
| Version v1.0
Software
Open
jthomme1/group-theory-isabelle: Official Submission
Authors/Creators
Description
This state will probably be handed in.
Files
jthomme1/group-theory-isabelle-v1.0.zip
Files
(70.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d995c73998f87619775419f7ee5bb170
|
70.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/jthomme1/group-theory-isabelle/tree/v1.0 (URL)