1,382 followers
@tangled_zans Indeed! There’s some interesting encodings https://t.co/lEKXctBqaX but first class support would be cool. Maude + dedukti (from the little I understand of it) would be a cool system.
@tangled_zans Indeed! There’s some interesting encodings https://t.co/lEKXctBqaX but first class support would be cool. Maude + dedukti (from the little I understand of it) would be a cool system.