Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
csf2021-submission	Mar 12, 2021
ci-template	Feb 7, 2022
decategorify	Mar 15, 2022
otp-refactor	Mar 23, 2022
jasmin-wip	Sep 27, 2022
jasmin_dependent_words	Jan 16, 2023
WIP_chArrow	May 12, 2023
jasmin	Sep 20, 2023
coq.8.18.0	Feb 20, 2024
jasmin-coq.8.18.0	Sep 6, 2024
Add-set-and-seq-as-notation-for-choice-type	Apr 11, 2025
towards-nominals-fix-hax	May 6, 2025
towards-nominals	May 23, 2025

Provide feedback