Home My Page Projects Lambda-prolog implementation of CIC
Summary Activity SCM Files

Project Member List

If you would like to contribute to this project by becoming a member, contact one of the project admins, designated in bold text below.

Member User Name Role(s)/Position(s)
Enrico Tassi
gareuselesinge Admin
Dale Miller
dale Admin
Claudio Sacerdoti Coen
sacerdot Admin
Tomer Libal
libal Admin
Ferruccio Guidi
fguidi dev
Tomer Libal
shaolin dev
Tsvetan Dunchev
cdunchev dev