Skip to content
GitLab
Explore
Sign in
Software
abellatocoq
Repository
Branches
Overview
Active
Stale
All
main
default
protected
19306e15
·
Some cleanup of references
·
May 14, 2024
abella
a4a4259f
·
Abbreviate record-matching syntax in 'print_sig'
·
Nov 12, 2023
remote/abella
2a14f322
·
fix: now just complains about higher-order parameters in clauses
·
Jun 12, 2023