Surreal numbers in Coq

  • L.E. Mamane

Student thesis: Master

Date of Award31 Aug 2003
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 5.25 MB

    Type: Thesis

'