History log of /seL4-l4v-master/HOL4/examples/AKS/theories/files.txt
Revision Date Author Comments
# b3b2a8f3 09-Nov-2019 jhlchan <jhlchan@gmail.com>

AKS mechanisation (#750)

* Add to examples: AKS, with algebra and simple_complexity.