search

jesper-bengtson / Charge

Higher-order separation logic framework in Coq
Other
1 stars 1 forks source link

Which folder should we run Coq from? #6

Closed jesper-bengtson closed 10 years ago

jesper-bengtson commented 10 years ago

Currently coqtop is started from the eclipse folder, it would probably make more sense to start it from the project folder. I am open to suggestions.