2 search results for "author:"Scott Owens""

Showing 1 - 2
  1. lem
    Documentation
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm et al.
    2026-05-01
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    02 May 2026
  2. ott
    Documentation
    A tool for writing definitions of programming languages and calculi
    Peter Sewell Francesco Zappa Nardelli Scott Owens
    0.34
    BSD-3-Clause
    Used by 2 other packages
    31 Dec 2024