Open Source Prover in the Attic
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929223173668864 |
|---|---|
| author | Kovács, Zoltán Vujic, Alexander |
| author_facet | Kovács, Zoltán Vujic, Alexander |
| contents | The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features? In other words, to save a relic found in the attic and polish it into a useful everyday tool. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_13702 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Open Source Prover in the Attic Kovács, Zoltán Vujic, Alexander Programming Languages Mathematical Software Symbolic Computation Software Engineering The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features? In other words, to save a relic found in the attic and polish it into a useful everyday tool. |
| title | Open Source Prover in the Attic |
| topic | Programming Languages Mathematical Software Symbolic Computation Software Engineering |
| url | https://arxiv.org/abs/2401.13702 |