- Separation Logic for Sequential Programs (Functional Pearl) Arthur Charguéraud Tue 04 August 2020
- Constructing Higher Inductive Types as Groupoid Quotients Niels van der Weide Sat 04 July 2020
- Programming language foundations in Agda Wen Kokke Jeremy G. Siek Philip Wadler Tue 09 June 2020
- Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka Cezary Kaliszyk Mon 22 October 2018
- How to make ad hoc proof automation less ad hoc Georges Gonthier Beta Ziliani Aleksandar Nanevski Derek Dreyer Wed 30 January 2013
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
