Chat with solson/arend-zero-eq-one — AI on the actual code · gitaskhub

Privacy Terms Sign in with GitHub

solson/arend-zero-eq-one↗

Proof of 0 = 1 in Arend 1.4

Simplify and Visualize This Repo Scan the safety of this repo Self Host this repo Check out more work of Developer: solson

Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).

Home Privacy Terms

BitVibe Labs · 2026