proofdict

Organization

@proofdict

A dictionary engine that based on one rule per one file.

proofdict.github.io/ On GitHub since August 2017

Published Tools

Total Stars

Weekly Downloads

GitHub Followers

Public Repos

Published Tools

2 Skillsacross 1 category

azu

Migration tool for proofdict.

SkillAI Tool

1 dir

azu

Migration tool that convert prh.yml to proof-dictionary.

SkillAI Tool

1 dir