Skip to content
GitLab
Explore
Sign in
Register
The IsaBIL Project
IsaBIL
Repository
Branches
Overview
Active
Stale
All
Active branches
main
default
protected
5783d146
·
Add missing files and ensure IsaBIL.thy builds
·
Feb 21, 2024
Stale branches
popl-paper-submission
a69faa91
·
Tidy expressions semantics
·
Jul 09, 2023