···

       
3
       
 
       
synopsis: "Proof assistant for reasoning about LF specifications"

     

       
4
       
 
       
maintainer: ["Chase Johnson <joh13266@umn.edu>"]

     

       
5
       
 
       
authors: ["Mary Southern" "Chase Johnson <joh13266@umn.edu>"]

     

       
6
       
-
       
license: "GPL-3.0"

     

       
7
       
 
       
homepage: "http://sparrow.cs.umn.edu/adelfa/index.html"

     

       
8
       
 
       
doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html"

     

       
9
       
 
       
bug-reports: "https://github.com/adelfa-prover/adelfa/issues"

     

···

       
3
       
 
       
synopsis: "Proof assistant for reasoning about LF specifications"

     

       
4
       
 
       
maintainer: ["Chase Johnson <joh13266@umn.edu>"]

     

       
5
       
 
       
authors: ["Mary Southern" "Chase Johnson <joh13266@umn.edu>"]

     

       
6
       
+
       
license: "GPL-3.0-only"

     

       
7
       
 
       
homepage: "http://sparrow.cs.umn.edu/adelfa/index.html"

     

       
8
       
 
       
doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html"

     

       
9
       
 
       
bug-reports: "https://github.com/adelfa-prover/adelfa/issues"