🎃
Hacking
Positive derivative is better than large function value
- Seattle, US
- https://lionell.github.io
Block or Report
Block or report lionell
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
-
-
-
sequential-method
sequential-method PublicImplementation of sequential method for classic first-order-logic
CSS
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.