#42 Make a tool to automate much of the proofs.

Open
opened 3 weeks ago by yisraeldov · 0 comments

The adding off proffs right now is pretty tedious, and it seems like it would be a good idea to reduce the barrier of entry and have a tool (command line or gui) that would automate much of the process.

The adding off proffs right now is pretty tedious, and it seems like it would be a good idea to reduce the barrier of entry and have a tool (command line or gui) that would automate much of the process.
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This issue currently doesn't have any dependencies.

Loading…
There is no content yet.