All Git Users → jldodds

1 open source projects by jldodds

[ Open user page on Github ]

1. coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

✭ 60

1-1 of 1 user projects