Mentions légales du service
Fix conjunctions in Isabelle (fix
#491
).
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fix conjunctions in Isabelle (fix #491).
Guillaume Melquiond
requested to merge
fix-491
into
master
Jan 16, 2023
Overview
0
Commits
1
Pipelines
0
Changes
1
This is a port of
!550 (merged)
to the new version of Isabelle.
Merge request reports
Loading