Skip to content

Fix typos: NGramCPS handles 6,005,142 TMs, not 6,005,138 TMs, in Coq-BB5 - #47

Open
hsjoihs wants to merge 1 commit into
bbchallenge:mainfrom
hsjoihs:hsjoihs-patch
Open

Fix typos: NGramCPS handles 6,005,142 TMs, not 6,005,138 TMs, in Coq-BB5#47
hsjoihs wants to merge 1 commit into
bbchallenge:mainfrom
hsjoihs:hsjoihs-patch

Fix typos: NGramCPS handles 6,005,142 TMs, not 6,005,138 TMs, in BB(5)

8ac9cc7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs