Toot

Written by Paul Khuong on 2024-12-30 at 13:51

@pervognsen @zwarich @tmyklebu > black box nature of ATPs.

Why3 has a Coq backend, so you can try to handle the proof by hand :)

=> More informations about this toot | View the thread | More toots from pkhuong@discuss.systems

Mentions

=> View pervognsen@mastodon.social profile | View zwarich@hachyderm.io profile | View tmyklebu@mastodon.gamedev.place profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113742100329953673
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
222.593263 milliseconds
Gemini-to-HTML Time
0.368007 milliseconds

This content has been proxied by September (ba2dc).