Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
2010 ◽
pp. 15-21
◽
2009 ◽
Vol 228
◽
pp. 113-120
◽
2020 ◽
Vol 12
(1)
◽
pp. 17-22
2016 ◽
Keyword(s):