C
Coq
Analyzing
Extracting target signal
Coq
1
Mentions
27.6K
Views
![#66 ALEXANDER MATTICK - [Unplugged / Community Edition]](https://img.youtube.com/vi/rGOOLC8cIO4/mqdefault.jpg)
“An interactive theorem prover mentioned in comparison to Lean.”
Arcmira media summary
Arcmira tracks where Coq is discussed across indexed YouTube videos, transcripts, channels, and related entities.
An interactive theorem prover mentioned in comparison to Lean.
Arcmira tracks 1 indexed media appearances or mentions for Coq, tied to source videos, channels, and transcript-derived context.
Arcmira uses indexed YouTube videos and transcripts. Representative source evidence on this page includes "#66 ALEXANDER MATTICK - [Unplugged / Community Edition]" with transcript-derived context and links when available.
Coq is connected to Spline Theory of Deep Networks, Inductive Logic Programming, Causality in Arcmira's media graph.