👀
Philosophy student, Linux enthusiast, HEMA practitioner. Also a 25yo boomer.
- Curitiba, PR - Brazil
Block or Report
Block or report viniciusmiradouro
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
functional_python_algorithms
functional_python_algorithms PublicAlgorithms implemented in python, in a functional style and using functional programming libraries.
Python
-
TheoremsInHaskell
TheoremsInHaskell PublicI'm trying to use haskell as a proof checker. Simple.
Haskell
-
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.