Skip to content
GitLab
Explore
Sign in
Software
abellatocoq
Repository
Branches
Overview
Active
Stale
All
Active branches
main
default
protected
e371ad69
·
More rewriting in the intro
·
May 08, 2024
Stale branches
remote/abella
2a14f322
·
fix: now just complains about higher-order parameters in clauses
·
Jun 12, 2023
abella
a4a4259f
·
Abbreviate record-matching syntax in 'print_sig'
·
Nov 12, 2023