Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
lean
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 9
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
#
math
#
lean
#
research
#
ai
Comments
Add Comment
18 min read
Carina Hong: Frontiers of AI for Mathematical Research
cognitalk
cognitalk
cognitalk
Follow
Jun 4
Carina Hong: Frontiers of AI for Mathematical Research
#
ai
#
podcast
#
math
#
lean
Comments
Add Comment
2 min read
When Lean Proved My Durability Definition Too Easily
Hiroyuki Nakahata
Hiroyuki Nakahata
Hiroyuki Nakahata
Follow
May 10
When Lean Proved My Durability Definition Too Easily
#
architecture
#
database
#
lean
#
computerscience
1
 reaction
Comments
Add Comment
9 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
