durwasa-chakraborty
Follow
Durwasa Chakraborty durwasa-chakraborty
Gödel says formal systems cannot be both complete and consistent!
Figuring out the details ...
-
Indian Institute of Technology
- Madras, TN
- durwasa-chakraborty.github.io
- @durwasa_dc
Block or Report
Block or report durwasa-chakraborty
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
coding-interview-university
coding-interview-university PublicForked from jwasham/coding-interview-university
A complete computer science study plan to become a software engineer.
-
-
-
-
snipmate.vim
snipmate.vim PublicForked from msanders/snipmate.vim
snipMate.vim aims to be a concise vim script that implements some of TextMate's snippets features in Vim.
Vim Script
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.