Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Calculus of constructions
Graph Chatbot
Related lectures (23)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 3
Next
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
