Skip to content
GitLab
Explore
Sign in
connective_def: added def. of exists in terms of forall
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
connective_def: added def. of exists in terms of forall
Mallku Soldevila
requested to merge
rules/connective_def
into
master
May 13, 2025
Overview
2
Commits
5
Pipelines
5
Changes
2
connective_def: added def. of exists in terms of forall
Merge request reports
Loading