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
Lecture
Coq: Introduction
Graph Chatbot
Related lectures (28)
Previous
Page 1 of 3
Next
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
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.
Stability Criteria in Plasma Waves
Covers the stability criteria in plasma waves, focusing on the Norton-Garder Theorem.
Untitled
