LogoopenSUSE Build Service > Projects
Sign Up | Log In


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

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment