PR: Adding CoreLib bindings for List theory

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

PR: Adding CoreLib bindings for List theory #639

Closed Gustavo2622 closed 1 month ago

Gustavo2622 commented 1 month ago

This adds bindings for the List theory in src/ecCoreLib.ml, form constructors for them in src/ecCoreFol.ml and a constructor for the list type in src/ecTypes.ml