Skip to content

Auto-including well-foundedness functions and axioms when they are used#710

Merged
marcoeilers merged 9 commits into
masterfrom
meilers_decreases_autoimport
Jul 20, 2023
Merged

Auto-including well-foundedness functions and axioms when they are used#710
marcoeilers merged 9 commits into
masterfrom
meilers_decreases_autoimport

Merge branch 'master' into meilers_decreases_autoimport

0e1f857
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡