John Tromp comments

Repositories
Issues
Comments

Results 81 comments of


                                            John Tromp

Error: Maximum recursion depth exceeded while reducing term.

I get these rewrite counts for various output sizes: 16 steps 1117 time 0ms steps/s 666M #GC 0 HP 2554 64 steps 15104 time 0ms steps/s 666M #GC 0 HP...