The core authors and designers of the LFSC proof checker are:

  Andy Reynolds
  Aaron Stump