Rob Blanco
Rob Blanco
As I give thought to some forms of static analysis for λProlog code, I realize it could be interesting to run some such checks when we import a specification in...
We have discussed briefly the convenience of a flexible search mechanism. In my prototypes, I am basically "monkey patching" an Abella session by importing code to steer an extended search...
Converting a term to a string via `Term.term_to_string` is informed by the `show_*` configuration variables. However, the type of bound variables in `Lam` is never shown if `show_ty = true`:...
As I have written elsewhere, during my inspection of the Unify interface I found this condition regarding the treatment of unification errors and their handling, or not, in the various...
When administering an election using the web server interface, there are a few steps that modify the election without making it possible to go back and change things again. Two...
The Belenios web server currently supports two kinds of trustee structures: (1) a set of Single trustees, and (2) a single Pedersen group with a threshold strictly less than the...