4 ms·
The isabelle AFP project (https://www.isa-afp.org https://www.isa-afp.org) might be interesting to you.
by remolueoend 4y ago
The isabelle AFP project (https://www.isa-afp.org https://www.isa-afp.org) might be interesting to you.
loading thread…