search

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
10 stars 5 forks source link

Proofs #161

Closed LasseBlaauwbroek closed 6 months ago