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
Introduction to Proof Scripting: Basics of Ltac
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Data Abstraction: Modules and Specifications in Coq
Discusses data abstraction in programming, focusing on modules and specifications in Coq.
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers, order importance, and translation into logic.
Proofs: Rules and Applications
Explores rules of inference, quantified statements, and proof methods in logic and mathematics.
Untitled
Sequent Calculus: Basics and Applications
Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.
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.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
Functional Programming: Concepts and Implementation
Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.
