Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem

Generate bibtex entry with the Software-Heritage sugar

First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)

Code developed for the CEP by Tonina Starita in 1968, to smooth a curve.

A Python client to interact with Software Heritage API

TAUmus is the software controlling the real-time computer-music system TAU2-TAUMUS, developed in the 70's of the XX century at the IEE and CNUCE in Pisa under the leadership of Maestro P. Grossi.

This is the workbench for the acquisition of OrbFit, an astronomy library to compute orbits and ephemerides.

TAUmus is the software controlling the real-time computer-music system TAU2-TAUMUS, developed in the 70's of the XX century at the IEE and CNUCE in Pisa under the leadership of Maestro P. Grossi

Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem

Fortran Code Generatur in Maple

SWHAP of Le Lisp

This is the workbench for the acquisition of the code developed for the CEP by Tonina Starita in 1968, to smoothen a curve.

SHWAPPE Workbench of a Customisable Memory Manager

First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)

SWHAPPE Depository of the code for the CEP by Tonina Starita in 1968, to smoothen a curve.

SHWAPPE Depository of a Customisable Memory Manager

an astronomy library to compute orbits and ephemerides

a Customisable Memory Manager

SHWAPPE Depository of an astronomy library to compute orbits and ephemerides