Durwasa Chakraborty durwasa-chakraborty
Gödel says formal systems cannot be both complete and consistent!
PhD Student, Programming Languages | Formal Methods
-
Indian Institute of Technology
- Madras, TN
- durwasa-chakraborty.github.io
- @durwasa_dc
Pinned Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.