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 almost 2 years ago Download File
ott.changes 170 Bytes almost 2 years ago Download File
ott.spec 1.72 KB almost 2 years ago Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment