Heiko Becker

This PR implements libmGen, a proof-producing translator for elementary functions. Using the Dandelion and FloVer tools, libmGen automatically validates a polynomial approximation of an elementary function, implements it in CakeML...

Currently, a user of mbeddr.doc cannot use images or other mbeddr.doc elements to write documentation in-place with this infrastructure. The [IDocumentable interface](http://127.0.0.1:63320/node?ref=r%3Af7764ca4-8c75-4049-922b-08516400a727%28com.mbeddr.core.base.structure%29%2F3857533489766146432) allows to attach a single paragraph documentation via...

Add a new language that automatically creates markdown documentation

1

The documentation is generated automatically for all concepts that have the MPS `@doc` attribute. An example solution that shows how the language can be used is in `com.mbeddr.doc.autodoc.sandbox`. For now,...

Update interpreter semantics of && and || logic operators to be consistent with other logic ops

4

As described in #651 ,the Nix semantics of `&&` and `||` are inconsistent with those of the other logic operators `==` and `!=`. This PR tries to address this issue...

Division operation jumps to infinite precision

1

Currently, dividing two integer numbers is always assigned infinite precision which leads to confusing type errors:  A possible fix would be to use integer type as the default result...

Nix semantics are inconsistent for logical operators

2

The test case `logicalgroups` documents the behavior of the logical operators `&&` and `||` ([node url](http://127.0.0.1:63320/node?ref=r%3Ad9f549b0-d02b-4dca-bb87-3aade9e4e8a5%28test.in.expr.os.operatorgroup%40tests%29%2F8006404979729312067)). Looking at the test `conditionalAnding` (picture below), I would expect `nix && true` to...