Augustindou's repositories
natural2lean
Master's Thesis - Augustin d'Oultremont - Advisor : François Glineur
Language:Oz000
Language:Jupyter Notebook000
Language:C000
2020-computer-systems
Project for LINGI2241 - Computer Systems
Language:Java000
2020-machine-learning
Project for LELEC2870 - Machine Learning
Language:Python000
community-platform
A platform to build useful communities that aim to tackle global problems
Language:TypeScriptMIT000
LINMA2450-Homeworks
LINMA2450 - Combinatorial Optimization Homeworks
Language:Julia000
MacOS-setup
Script for fast MacOS setup
natural2lean-cli
Simple command line interface for natural2lean
natural2lean-lean-project-template
lean4 project containing utilities for natural2lean
Language:Lean000