Dan
Dan
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...
I'm trying to get xapian bindings bootstrapped and I keep running up against this error: http://paste.pocoo.org/show/375615/ Any thoughts on what might be wrong?
DO NOT SUBMIT The history view is to make profiling easier and allow users to remember their prompts better. It might just delete them all so don't rely on it...
I ran an experiment on prompthero/openjourney-v2 to compile it for coreml. I also put that on huggingface to make it work with the Diffusers App. It would be really nice...