Dominique Devriese Dominique Devriese

Tracking 764 commits to 25 open source packages


Company: KU Leuven


Repositories Contributed To

asr/pra
Haskell - Other - Last pushed - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
np/agda-git-experiment
darcs-bridge experiment with Agda repository
Haskell - Other - Last pushed - 0 stars
See all Dominique Devriese's contributions

Last synced: 2016-12-16 09:12:10 UTC

Login to resync this page