1 search result for "author:"Mary Southern""

Showing 1 - 1
  1. Proof assistant for reasoning about LF specifications
    0.1
    GPL-3.0-only
    Used by 0 other packages
    24 Oct 2024