This instance will be upgraded to Heptapod 17.5.3 on 2024-12-12 between 10:00 and 11:00 UTC+1

Explore projects

isa-afp / afp-2022

Isabelle2022 release of the Archive of Formal Proofs

0

Updated Aug 19, 2023

0 0 0

Updated Aug 19, 2023
Tryton / Tryton

Business Software

Modularity, scalability & security for your business
Documentation Contribute

business app... python

43

Updated Dec 12, 2024

43 0 143 863

Updated Dec 12, 2024
Tryton / Communication / Website

Tryton website

2

Updated Dec 03, 2024

2 0 2 1

Updated Dec 03, 2024
Tryton / Chronos
BSD 3-Clause Clear License

Time tracker

1

Updated Oct 22, 2024

1 0 0 3

Updated Oct 22, 2024
isa-afp / afp-testboard

Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.

0

Updated Apr 02, 2024

0 0 0 0

Updated Apr 02, 2024
isa-afp / afp-2023

Isabelle2023 release of the Archive of Formal Proofs

0

Updated May 17, 2024

0 0

Updated May 17, 2024
T

heptapod / Testing Projects / Test License
GNU General Public License v2.0 or later

0

Updated Nov 23, 2023

0 0 0 0

Updated Nov 23, 2023
isa-afp / afp-2024

0

Updated Dec 04, 2024

0 0

Updated Dec 04, 2024