Halmos - Math forum the server can check

in #steemhunt • last month

Halmos

Math forum the server can check

Screenshots

Screenshot 2024-09-23 082258.png

Hunter's comment

A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.

Link

https://halmos.science/


Steemhunt.com

This is posted on Steemhunt - A place where you can dig products and earn STEEM.
View on Steemhunt.com

last month in #steemhunt by
$0.28
  • Past Payouts $0.28
  • - Author $0.13
  • - Curators $0.14
2 votes
Reply 1
Sort:  
  • Trending
    • [-]
     last month 

    Congratulations!

    We have upvoted your post for your contribution within our community.
    Thanks again and look forward to seeing your next hunt!

    Want to chat? Join us on:

    $0.00
      Reply