Add @cert to lem and rdg to grade conjectures? - Githubissues

DigitalLatin / guidelines

A repository for the LDLT Guidelines

GNU Affero General Public License v3.0

0 stars 3 forks source link

Add @cert to lem and rdg to grade conjectures? #16

Open sjhuskey opened 7 years ago