classical-realizability. Notes on a realizability model for a classical logic

github.com/jozefg/classical-realizability

Problem

Audience

Updates

No founder updates yet. Check back soon.