Skip to content




  1. Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

    Common Lisp 12 1

  2. A mirror of A toy interpreter and compiler of the untyped λ calculus, written in common lisp.

    Common Lisp 1

  3. Graphs dependencies in the asd files of Common Lisp systems.

    Common Lisp 3 2

  4. A formalisation of NBG set theory in Isabelle/HOL

    Isabelle 5 2

67 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2020

ioannad has no activity yet for this period.

June 2020

Created a pull request in WebAssembly/exception-handling that received 3 comments

Current core formal spec for WebAssembly Exception Handling

The rendered spec of this PR can be seen here: Included in this PR: Detailed core formal spec additio…

+1,225 −198 3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.