StartupXO
Search
English
Submit

Posts from leodemoura.github.io

  1. Lean proof tool adds a feature to recheck results with multiple checkers(leodemoura.github.io)

    SummaryLean is a proof tool that uses a machine to check the correctness of mathematical proofs and programs. According to this article, the lake check command has been added to Lean v4.35.0, so you can exp…

    startupxo SummaryDiscuss

Keyboard shortcuts

Choose a post with the up and down arrows, then press Enter.

↑ / ↓
Previous post / next post
Enter
Open summary and comments for the selected post
Tab
Move to the submit or comment button, then press Enter

Type normally in text fields. Tab and Enter are always available.