PhD student @ IISc, Bangalore
Bitbucket: stanlyjs
-
Indian Institute of Science
- Bangalore
- stanlysamuel.com
Block or Report
Block or report stanlysamuel
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
csa-writing-team Public
This repository hosts content by the writing team of the Department of Computer Science and Automation, Indian Institute of Science, Bangaloore
JavaScript
-
-
Equality-Logic-DP Public
This repository contains the code for various decision procedures to solve the quantifier free fragment of first order logic with the theory of equality.
Python