Skip to content
This repository was archived by the owner on Aug 24, 2024. It is now read-only.

fix typo in AppInfo description#38

Open
hrmacbeth wants to merge 1 commit into
leanprover:mainfrom
hrmacbeth:patch-1
Open

fix typo in AppInfo description#38
hrmacbeth wants to merge 1 commit into
leanprover:mainfrom
hrmacbeth:patch-1

typo in Main

5a5b0fe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs