153 followers
A Tactic Language for the System Coq (2000) : David Delahaye DOI: https://t.co/1zrOErmtEt #coq #ltac #proof_assistant #tactics #my_bibtex
A Tactic Language for the System Coq (2000) : David Delahaye DOI: https://t.co/1zrOErmtEt #coq #ltac #proof_assistant #tactics #my_bibtex