LogoopenSUSE Build Service > Projects
Sign Up | Log In

Ott

A tool for writing definitions of programming languages and calculi
by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.

Source Files

Filename Size Changed Actions
ott-0.25.tar.gz 2.12 MB over 1 year ago Download File
ott.changes 170 Bytes over 1 year ago Download File
ott.spec 1.72 KB over 1 year ago Download File

Comments for home:ptrommler:formal (0)