1 search result for "author:"Chase Johnson <joh13266@umn.edu>""

Showing 1 - 1
  1. adelfa
    Documentation
    Proof assistant for reasoning about LF specifications
    Mary Southern Chase Johnson <joh13266@umn.edu>
    0.1
    GPL-3.0-only
    Used by 0 other packages
    24 Oct 2024