Juick
Discuss
Discover
Login
dog
1 decade ago
retweet
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
glc.us.es
Recommend
Replies (1)
jtootf
1 decade ago
@dog
, у Isabelle/HOL чудовищно вербозный синтаксис
/1 ·
Reply