search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Extra lemmas about SeqMatch, Trade #244

Closed tahina-pro closed 2 weeks ago

tahina-pro commented 2 weeks ago

Pulse.Lib.Trade.Util now follows a pattern similar to Pulse.Lib.Stick.Util, with the trade replacing the stick.