search

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant
MIT License
11 stars 4 forks source link

Deepdelta #1

Closed fredokun closed 6 years ago

fredokun commented 6 years ago

changed the reduction strategy especially for deta-steps... ultimately there should be a very important speedup but for now it's roughly the same (slow) "speed".