Lucas
Lucas
@micahkendall this is good enough for us to merge and clean anything up ourselves. Thank you for the idea. I'll get together with @MicroProofs and sort through anything that's awkward...
oh weird, I'll fix this thanks.
seems stale and it's not clear what the issue is. closing for now but please re-open or make a new one if it is still a problem.
@Quantumplation thanks, no problem