@MonniauxD@social.sciences.re

Post #3080256

2026-05-25 07:26 UTC

@mc@mathstodon.xyz And to automate formal proof for EDA.

Replies (1)

@mc@mathstodon.xyz 2026-05-25 07:26

@MonniauxD@social.sciences.re Eda?

Open ##3080257