Company-Coq: Taking Proof General one step closer to a real IDE A tutorial on using Proof General and its new extension to write proofs more efficiently Clément Pit-Claudel Pierre Courtieu
Document is deleted from original location. Use the Download Button below to download from the Web Archive.
Company-Coq: Taking Proof General one step closer to a real IDE A tutorial on using Proof General and its new extension to write proofs more efficiently Clément Pit-Claudel Pierre Courtieu