Talia Ringer

icon indicating a website link https://dependenttyp.es icon indicating an email [email protected]

icon location Champaign, IL icon location Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Results 3 repositories owned by Talia Ringer

ml-for-proofs

30
Stars
2
Forks
Watchers

An open bibliography of machine learning for formal proof papers

verified publisher icon tlringer

plugin-tutorial

35
Stars
4
Forks
Watchers

Yet another plugin tutorial, this time as an exercise for 598

verified publisher icon tlringer

proof-demos

38
Stars
1
Forks
Watchers

Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic

verified publisher icon tlringer