Benoit B. Mandelbrot. The "B." stands for Benoit B. Mandelbrot.
Student in Computational Visualistics (computer science with a focus on visual things) in Koblenz.
Most interested in theoretical computer science.
Popular repositories Loading
-
-
-
AutomatedInstantiation
AutomatedInstantiation PublicThe basis of the contents of this repository is my master thesis on automated reasoning in local theory extensions.
Python
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.