Stream: Coq Hackathon and Working Group, Winter 2022

Topic: PyCoq and SerAPI hacking


view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:34):

Hi folks, this is the thread for those interested in PyCoq / SerAPI hacking, let me know if you are interested and we can do a breakout room.


Last updated: Jan 29 2023 at 16:02 UTC