§ feed · storyline

GamePad: A learning environment for theorem proving

Jun 2 · 09:00:00 · primary fetch1 sourceupdated Jun 2 · 09:00:00

This storyline groups 1 article from 1 source. The originating feed didn’t ship an excerpt — open any link below to read the piece.

§ sources1 publication · timeline below