• isabelle-extreme
    ATPL
    Airline Transport Pilot Licence

theory Scratch imports Main begin (* Define addition via fixed point *) definition add :: "nat ⇒ nat ⇒ nat" where "add ≡ fix (λadd n m. if n = 0 then m else add (n-1) (m+1))"

isabelle extreme This opens a theory file with the extension .ext . Here’s a minimal example:

end

[portable] — Isabelle-extreme

  • Air Law
  • Airframe, Systems and Engines
  • Principles of Flight
  • Operational Procedures
  • VFR Communications
  • IFR Communications
  • Performance
  • Mass and Balance
  • Instrumentation
  • Flight Planning and Monitoring
  • Human Performance
  • Meteorology
  • General Navigation
  • Radio Navigation
  • ICAO English Language Proficiency

[portable] — Isabelle-extreme

Modern, simple to use interface
Tracking and Automation
Customized Dashboard
Reporting Tools
Collaborative and Facilitation tools
Integration with external programs
File management
Authentication and Mass enrolment
Site Management and Control
Course creation and loading
Notifications
User and group management
Simple to use text editor
Assessment and Examinations

[portable] — Isabelle-extreme


X

[portable] — Isabelle-extreme

There was a problem validating the form please check!
The connection to the server timed out!
Successfully sent!!