1:01:54

[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing

ACM SIGPLAN

20:58

[CoqPL'22] A Visual Ltac Debugger in CoqIDE

ACM SIGPLAN

19:48

[CoqPL'22] Scrap your boilerplate definitions in 10 lines of Ltac!

ACM SIGPLAN

24:34

[CoqPL'22] Tealeaves: Categorical structures for syntax

ACM SIGPLAN

20:28

[CoqPL'22] Towards a Formalization of Nominal Sets in Coq

ACM SIGPLAN

16:50

[CoqPL'22] A Case for Lightweight Interfaces in Coq

ACM SIGPLAN

55:04

[CoqPL'22] Verifying Concurrent, Crash-Safe Systems with Perennial

ACM SIGPLAN

16:53

[CoqPL'22] A Verified Pipeline from a Specification Language to Optimized, Safe Rust

ACM SIGPLAN

42:40

[CoqPL'22] Session with the Coq Development Team

ACM SIGPLAN