2nd
year Master's AI at Universite Paris-Saclay.
Ecole Polytechnique Mathematics and Computer Science graduate.
-
Ecole Polytechnique
- Palaiseau, France
Pinned Loading
-
-
Nim-game-winning-strategy
Nim-game-winning-strategy PublicFormal proof for the existence of a winning strategy in a Nim game using Coq Proof Assistant
Coq
-
-
TER-AI-DS-PINN-s
TER-AI-DS-PINN-s PublicMain repository for the TER AI/DS for PINN'S
Jupyter Notebook 1
-
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.


