Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
main
default
protected
7cab9fca
·
fixed order of vars in multivars
·
Jan 22, 2025
Inductive-definition
a121abe4
·
added well-typedness test for inductive definitions
·
Jan 21, 2025
Stale branches
beta_reduction
a79b7008
·
Added function testing for deep equality
·
Oct 09, 2024