formal_book
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