File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensources
77image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"]
88image:https://img.shields.io/badge/Provers-30-green.svg[Provers: 30]
99image:https://img.shields.io/badge/Tests-306%2B-brightgreen.svg[Tests: 306+]
10- image:https://api.thegreenwebfoundation.org/greencheckimage/jewell.nexus[Green Hosting,link="https://www.thegreenwebfoundation.org/green-web-check/?url=jewell.nexus "]
10+ image:https://api.thegreenwebfoundation.org/greencheckimage/jewell.nexus[Green Hosting,link="https://www.thegreenwebfoundation.org/green-web-check/?url=nesy-prover.dev "]
1111
1212*E*xtensible *C*ognitive *H*ybrid *I*ntelligence for *D*eductive *N*eural *A*ssistance
1313
You can’t perform that action at this time.
0 commit comments