2 search results for "author:"Dominic Mulligan""

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.
    2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    12 Dec 2022
  2. linksem
    Documentation
    A formalisation of the core ELF and DWARF file formats written in Lem
    Stephen Kell Dominic Mulligan Peter Sewell
    0.8
    BSD-2-Clause
    Used by 2 other packages
    12 Dec 2022