1. 13
    How much is a mechanized proof worth, certification-wise? pdf slides formalmethods cl.cam.ac.uk
    edoput avatar via edoput 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments