awesome-theoretical-computer-science icon indicating copy to clipboard operation
awesome-theoretical-computer-science copied to clipboard

Published 20 hours ago • verified publisher icon mostafatouny

Formal Method, Type Theory: init

Open definfo opened this issue 6 months ago • 5 comments

Add Logic - Formal Method, Math/Logic Preliminaries - Type Theory. Not sure if they are correctly classified.

Restrictions:

  • Formal Method currently includes only Coq-related materials. For other proof assistants (Lean, Agda, ...) , you can check out the links in Type Theory part. (See learn-tt / ∞-type Café Summer School )
  • Formal Method, Type Theory may also be labeled as "Programming Language Theory".

definfo avatar Aug 10 '24 03:08 definfo