v1.0.16

What's Changed

• Generalize ProductSort to work with patterns (not only symbols) as sorts. by @h0nzZik in #376
• remove some dependency version numbers that we do not use by @h0nzZik in #378
• nix: coq-lsp, cleanup, devShells by @h0nzZik in #379
• update nixpkgs by @h0nzZik in #380
• Use Ltac2 for some foundational tactics by @h0nzZik in #381
• More LTac2 tactics; improve mlApplyMeta. by @h0nzZik in #382
• Opml signature + Pattern by @h0nzZik in #388
• OPML model, model isomorphism, spec of relation to AML model. by @h0nzZik in #389
• oamr_no_junk_fmap by @h0nzZik in #390
• Update nixpkgs by @h0nzZik in #391
• OPML example signature by @h0nzZik in #392
• Update FixpointReasoning.v by @berpeti in #393
• Bool syntax and upgrade to Coq 8.18.0 by @berpeti in #394
• Proofmode tactics for 351 and 357 by @aron64 in #385
• Example opml model: list of bools by @h0nzZik in #400
• Generalize mlReflexivity for all reflexive ML connectives by @berpeti in #401
• Kore import using Pyk 1 -- Sorts by @h0nzZik in #402
• Add mlConj with multiple parameters, improve rewrites by @berpeti in #404
• Cleanup by @h0nzZik in #405
• Generate signature from Kore by @h0nzZik in #408
• Various bugfixes by @berpeti in #409
• Support Coq to 8.17 alongside 8.18 by @h0nzZik in #411
• Generic OPML models by @h0nzZik in #413
• Signature morphisms; signature extension; invertors for model combinators by @h0nzZik in #414
• Example OPML signatures and their extension by @h0nzZik in #415
• Bools theory by @adilido99 in #412
• Improve mlSortedSimpl, theory extension theorem by @berpeti in #420
• Import again 5 by @h0nzZik in #416
• Update proofmode.md by @berpeti in #424
• Default models for simple theories by @berpeti in #428
• Product sort theory by @adilido99 in #429
• Nat theory by @adilido99 in #425
• Sum sort theory by @adilido99 in #430
• Remove unnecessary Ensemble imports and axiom usage in some modules by @berpeti in #432
• Unification by @Engreyight in #431

New Contributors

• @aron64 made their first contribution in #385
• @adilido99 made their first contribution in #412
• @Engreyight made their first contribution in #431

Full Changelog: v1.0.15...v1.0.16