This project makes use of many open source projects. A incomplete list follows:
Bulma (for styling these pages)
JQuery
HuggingFace transformers
Coq Platform
PRISM
python-coqtop
Leave Feedback
Positive and/or constructive feedback encouraged!
Feedback will only be associated with your UUID and cohort unless you choose to provide more information.
You will not receive a reply unless you provide means to do so.
Feedback will only be associated with your UUID and cohort
unless you choose to provide more information.
You will not receive a reply unless you provide means to do so.