Skip to content

fix: correct year in reference to polymorphism paper - #923

Open
medovina wants to merge 1 commit into
leanprover:mainfrom
medovina:year-fix
Open

fix: correct year in reference to polymorphism paper#923
medovina wants to merge 1 commit into
leanprover:mainfrom
medovina:year-fix

fix: correct year in reference to polymorphism paper

8b43458
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs