3 ms·
You seem to know AL very well, I didn't even know that there is a computational interpretation of AL proofs! Can you tell me what it is?
by practal 1y ago
You seem to know AL very well, I didn't even know that there is a computational interpretation of AL proofs! Can you tell me what it is?