I'm still working on it, curious but what feature may be most valuable for you? What do you think about personalised care instructions, and an interactive chat feature for each plant.
Comments URL: https://news.ycombinator.com/item?id=41890762
Points: 9
# Comments: 2
Accedi per aggiungere un commento
Altri post in questo gruppo
Article URL: https://research.swtch.com/diffcover
Comments URL: https://news.ycomb
Article URL: https://arxiv.org/abs/2504.17192
Comments URL: https://news.ycombinator.c
Article URL: https://arxiv.org/abs/2504.11651
Comments URL: https://news.ycombinator.c
Article URL: https://curry-lang.org/
Comments URL: https://news.ycombinator.com/item?id=4379721
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru
