search

openmuthu / jaya

MIT License
0 stars 0 forks source link

Add an option for reporting proof corrections #13

Open openmuthu opened 7 years ago