Skip to content
GitLab

changelog

2 jobs for !791 with prop-level-wand in 21 minutes and 26 seconds (queued for 3 seconds)
latest merge request
2d81a9ec
1 related merge request: !791 make Prop-level BI connectives notation for bi_emp_valid (rather than bi_entails)