Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
Forem
Close
#
ramsey
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Apr 22
First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)
#
math
#
lean
#
combinatorics
#
ramsey
Comments
Add Comment
7 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
