IsarMathLib icon indicating copy to clipboard operation
IsarMathLib copied to clipboard

Published 20 hours ago • verified publisher icon SKolodynski
→

Metadata

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

← Metadata

16
Stars
2
Forks
Watchers

Owner

verified publisher icon SKolodynski

Metadata

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Back