search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

fix unification in entailer #697

Closed rinshankaihou closed 11 months ago

mansky1 commented 11 months ago

I think I figured out a different solution.