search

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Fix URLs of some machines #10

Closed meithecatte closed 1 year ago

meithecatte commented 1 year ago

Due to a typo, the .org is missing sometimes.