Section: New Results
Proofs of transcendence
Participants : Sophie Bernard, Yves Bertot, Laurence Rideau.
In the previous year, we developed formally verified proofs that
Participants : Sophie Bernard, Yves Bertot, Laurence Rideau.
In the previous year, we developed formally verified proofs that