reflective-oracles

使用概率预言机的所罗门诺夫归纳的 Haskell 实现。 这主要是为了验证实现类型检查。 除非您实现反射式预言机（这仅比实现停机预言机稍微困难一些），否则它不会正常工作，但您可以实现各种“哑”预言机并验证代码的各个部分是否工作。