Travelled to:
1 × Spain
Collaborated with:
M.Biernacka D.Biernacki
Talks about:
languag (1) foundat (1) tactic (1) oper (1) coq (1)
Person: Wojciech Jedynak
DBLP: Jedynak:Wojciech
Contributed to:
Wrote 1 papers:
- PPDP-2013-JedynakBB #coq
- An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.