Workshop on Dependent Type Theory
By Nicolas Tabareau.
On 14 December 2022.
Un tiers exclus dans mes belles h-propositions
By Kenji Maillard.
On 13 October 2020.
Pourquoi η est-elle une expansion ?
By Guilhem Jaber, Étienne Miquey.
On 22 November 2019.
Quésaco - Réalisabilité
By Étienne Miquey.
On 5 November 2019.
Quésaco - Relations Logiques
By Guilhem Jaber, Étienne Miquey.
On 4 November 2019.
Quésaco - SSReflect
SSReflect, an extension of Coq's tactic language
By Assia Mahboubi.
On 1 November 2019, last updated on 26 November 2019.
Articles can be their own directory
By Théo Winterhalter.
On 11 October 2019, last updated on 26 November 2019.
Testing jscoq
Testing jscoq on Galliblog.
By Théo Winterhalter.
On 7 October 2019.
Welcome to Galliblog!
This article is basically a test of the different features available for the blog.
By Théo Winterhalter and Galliblog.
On 29 September 2019, last updated on 26 November 2019.