The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

Maybe easiest just to give you access to the GitHub repo?  What’s your handle?

  - B

> On Dec 21, 2020, at 11:04 AM, Pierre Courtieu <pierre.courtieu AT gmail.com> 
> wrote:
> 
> Hi Benjamin!
> Actually I need lf and plf. lf failed but was easy to fix (Removing
> Declare Scope), but plf failed more heavily (custom syntax not
> supported ni the "where" clause it seems)
> Best regards,
> P.
> 
> Le lun. 21 déc. 2020 à 17:02, Benjamin Pierce <bcpierce AT cis.upenn.edu> a 
> écrit :
>> 
>> Hi Pierre,
>> 
>> Do you need just the first volume?  This version is advertised to work 
>> with 8.8, so 8.9 might be fine.
>> 
>> Otherwise I can give you access to the developer git repo and you can find 
>> what you need there.
>> 
>>    - B
>> 
>> 
>>> On Dec 21, 2020, at 10:03 AM, Pierre Courtieu <pierre.courtieu AT gmail.com> 
>>> wrote:
>>> 
>>> Hi, I post this question here, since I didn't find a more dedicated
>>> channel. Please feel free to point me to a more appropriate one.
>>> 
>>> For technical reasons I need a version of software foundation that
>>> would compile with coq-8.9. What is the standard way to obtain it
>>> please?
>>> 
>>> Best regards,
>>> Pierre
>>