GwenTinho's repositories
Cellular-Automata
Let's you play around with different types of Cellular Automata e.g. Conway's Game Of Life, Ulam Stanislaw's Cellular Automaton
graph_logic
Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system
Lin-Alg-and-Multivariable-Calc
A code along project for my studies to check if I understood everything
Math-Notes-Formalization
A formalization of all my math notes into COQ
Newton-Fractals
Gives you a simple tool for generating newton fractals through node.js
Old-projects
Just a bunch of old projects that I never backed up
topology-extended
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
CategoryTheory
Send help
turbo_hoare
A constraint solver purely on GPUs (CUDA)
cours-preuves-ordinateur
Page du cours preuves assistées par ordinateur 2023/24 course notes
emacs-typst
Manage your emacs setup with nix modules
FormArith
For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
Rust-Learning
Hopefully a working version of the symbolic learning algorithms seen in my class