CoqPilot, a plugin for LLM-based generation of proofs

Re-assign community