Skip to content
GitLab
Explore
Sign in
Register
Louvet Jean-Baptiste
CoCoA
Tags
V0.0.1
V0.0.1
Louvet Jean-Baptiste
@jlouvet
feccabf6
·
Ajout d'un todo sur la déclaration des case class des prédicats.
·
Nov 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
First version of the CoCoA project, with a stub implementation of the Predicate package.