My name is Younesse Kaddar. I'm a theoretical computer science PhD student at the University of Oxford, working on programming language semantics, Bayesian probabilistic programming, and category theory. Welcome to my GitHub profile!
youqad / leandojo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lean-dojo/leandojo
Tool for data extraction and interacting with Lean programmatically.
Home Page: https://leandojo.org
License: MIT License