🐓
🐫
Maître de Conférences en Informatique (IRIT/UT3)
-
Lab. IRIT, Univ. Toulouse 3 Paul Sabatier
- Toulouse, France
-
08:22
(UTC 02:00) - https://linktr.ee/erikmd
- @ErikMartinDorel
- @[email protected]
Highlights
- Pro
Pinned Loading
-
ocaml-sf/learn-ocaml
ocaml-sf/learn-ocaml PublicA Web Application for Learning OCaml
-
-
coq-community/docker-coq-action
coq-community/docker-coq-action PublicGitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
-
docker-keeper
docker-keeper PublicMirror of https://gitlab.com/erikmd/docker-keeper: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.
Python 1
-
validsdp/validsdp
validsdp/validsdp PublicA Coq tactic for proving multivariate inequalities using SDP solvers
-
pPomCo/belgames
pPomCo/belgames PublicCoq proof for "Games of Incomplete Information: a Framework Based on Belief Functions"
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.