Alt-Ergo | Wikidive Exploration

Wikidive

/

Alt-Ergo (current)

Lect

Luoding

AT&T Computer Systems

Colin Bailey (engineer)

Re Dive

Get other interesting topics related to
Alt-Ergo

Dive deeper into LEGO (proof assistant)

Find two interesting related topics to LEGO (proof assistant)

New Tab

Dive deeper into Twelf

Find two interesting related topics to Twelf

New Tab