I
I wrote a toy proof assistent
Hacker NewsI wrote a toy proof assistent
It is an implementation of the Calculus of Constructions with a small set of axioms.
Share cardActual performance
2points
Did not reach leaderboard
Launch Intel predictions
Analyze your own launch →
BetaListSuited for BetaList early-adopters · Missing: web3, chat, crypto51%51% predicted probability of success on BetaList, based on ML models trained on real launch data.
best fitHighest predicted score across all platforms for this description.
TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal48%48% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
Product HuntUnlikely to reach the leaderboard · Missing: mac, agents, macos46%46% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
Hacker NewsMay not resonate with HN audience · Strong signals: io · Missing: https docs, excited, just released40%40% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive32%32% predicted probability of success on AppSumo, based on ML models trained on real launch data.
Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting28%28% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue20%20% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
Correct prediction on native model
Similar products
Ge
Get a Merkle-Proof from Ethereum36%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Get a Merkle-Proof from Ethereum
Hacker News2Bu
Burni – Proof-of-Burn Ethereum NFTs35%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Burni – Proof-of-Burn Ethereum NFTs
Hacker News2Xt
Xtract – Proof of Concept for Filterable Iterator in Golang34%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Xtract – Proof of Concept for Filterable Iterator in Golang
Hacker News1Pr
Proof of God51%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Proof of God
Hacker News4I
I implemented gmaxwell's "solvency proof scheme"50%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
I implemented gmaxwell's "solvency proof scheme"
Hacker News29FL
FLP Impossibility Theorem Proof in Coq26%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
FLP Impossibility Theorem Proof in Coq
Hacker News38Ju
Jupyter Kernel for Coq Proof Assistant – coq_jupyter29%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Jupyter Kernel for Coq Proof Assistant – coq_jupyter
Hacker News1Pr
Proof-of-work difficulty explained55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Proof-of-work difficulty explained
Hacker News7CP
CPoW: Constrained Proof of Work (section 2)43%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
CPoW: Constrained Proof of Work (section 2)
Hacker News4We
Website Monetization Proof-of-Concept45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Website Monetization Proof-of-Concept
Hacker News1