C++
0
0
No license
The Realizability-Tableau project provides tools for exploring and visualizing realizability in logic and proof theory. It is designed for researchers and students in formal logic, particularly those interested in constructive mathematics and the foundations of computation.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
AnderEhu
25 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet