gitlab.inria.fr / ipanema-public 1 Dépôt
ipanema-public/ipanema-compiler
A compiler for the Ipanema language
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ipanema-public/ipanema-kernel
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ipanema-public/ipanema-proofs
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0