formal_book icon indicating copy to clipboard operation
formal_book copied to clipboard

Formalizing "Proofs from THE BOOK"

Results 3 formal_book issues
Sort by recently updated
recently updated
newest added

- Match the number range to the range from THE BOOK - Explicitly say "positive natural", as otherwise n = 0, k = 0 would be a counterexample as far...

Following the official guidelines, cf. https://citation-file-format.github.io/. This will ease referring to your project, cf. explanations at https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files