Cockerel
Cockerel copied to clipboard
dcolish
An Online Logic Assistant Based on Coq
Tactics based on Hein's text don't fail when misused, instead the do nothing except report an error. It should fail outright. The reason for this no-op behavior is the way...
The project should be packaged in a .deb so end-users will have an easier time installing it.
these forms are not looking too good with the current layout. get a dialog lightbox for the signup and login when the browser has js and make a proper page...
Coqd should be configurable by users for a variety of Coq libraries. By using a config setting, users will be able to tell coqd which libraries to load for which...