Thoughts on user interfaces for theorem provers | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Thoughts on user interfaces for theorem provers | Heykuki News

Thoughts on user interfaces for theorem provers

lawrencecpaulson.github.io

3 points

3 years ago

3 comments