1 paper
Marco Mantovani, Alberto Momigliano
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first step by implementing a property-…