fzyzcjy (Nov 21 2022 at 05:38): fzyzcjy (Nov 21 2022 at 05:38):Hi friends, I wonder how to contribute to Isabelle source code? I have checked https://isabelle.in.tum.de/repos/isabelle/ but seems no way to submit a pull request...
Mathias Fleury (Nov 21 2022 at 05:42):There is no real process to contribute. In short:
- if you are working on a tool (let's say the smt tool), contact the maintainer indicated at the top of the file (in that case, that would be me)
- if you want to add theorems, ask on the mailing list
fzyzcjy (Nov 21 2022 at 05:47):@Mathias Fleury Thank you!
Notification Bot (Nov 21 2022 at 05:47):fzyzcjy has marked this topic as resolved.
Last updated: Dec 21 2024 at 16:20 UTC