Explore projects

isa-afp / afp-2020

Isabelle2020 release of the Archive of Formal Proofs

0

Updated Feb 11, 2021

0 0 0

Updated Feb 11, 2021
isa-afp / afp-2019

Isabelle2019 release of the Archive of Formal Proofs

0

Updated Jun 23, 2020

0 0 0

Updated Jun 23, 2020
_

accounting / _gcinvoice
MIT License

0

Updated Jun 08, 2020

0 0 0 0

Updated Jun 08, 2020
E

xemacs / easypg
GNU General Public License v2.0 or later

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020
2

heptapod / slides / 2020-FOSDEM

0

Updated Feb 07, 2020

0 0 0 0

Updated Feb 07, 2020
2

heptapod / slides / 2019-PyConFR

Presentation of Heptapod in French at PyConFR2019

0

Updated Nov 04, 2019

0 0 0 0

Updated Nov 04, 2019