History log of /seL4-l4v-master/HOL4/examples/fermat/twosq/involuteFixScript.sml
Revision Date Author Comments
# 38081b7f 14-Oct-2020 Joseph Chan <jhlchan@gmail.com>

Revise proofs for theorems in Fermat number theory.
# 12dffcca 09-Oct-2020 Joseph Chan <jhlchan@gmail.com>

Provide scripts for Fermat's Two Squares Theorem.