Logic in Computer Science

Area > Computer Science > Logic in Computer Science

Videos linked to Logic in Computer Science

01:34:11

published on April 22, 2024

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

By Marie Kerjean

48:48

published on April 22, 2024

Complex analysis in Lean

By Vincent Beffara

01:01:09

published on April 22, 2024

Working with Mathlib

By Jireh Loreaux

01:03:23

published on April 22, 2024

Stone duality and its formalization

By Sam van Gool

published on December 11, 2023

Differential Equation Invariance Axiomatization

By André Platzer

46:40

published on May 15, 2023

From axioms to synthetic inference rules via focusing

By Dale Miller

01:05:56

published on February 13, 2023

Algebra vs Logic over (generalised) words

By Thomas Colcombet

40:29

published on November 30, 2022

Categorification of Rule Algebras

By Nicolas Behr

More +

Copyright Carmin.tv 2024

Give feedback