search

aya-prover / aya-prover-proto

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
GNU General Public License v3.0
11 stars 0 forks source link

No longer need to substitute telescope #755

Closed ice1000 closed 2 years ago

ice1000 commented 2 years ago

in the Unfolder. This is a follow-up change after #751 #752