Skip to content

Commit 0197bdb

Browse files
committed
Snapshot local work before sync
1 parent 1f86626 commit 0197bdb

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.adoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensources
77
image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"]
88
image:https://img.shields.io/badge/Provers-30-green.svg[Provers: 30]
99
image: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=nesy-prover.dev"]
10+
image:https://api.thegreenwebfoundation.org/greencheckimage/nesy-prover.dev[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

0 commit comments

Comments
 (0)