GitHub repository: projectlean/lean-rest
Primary language: Java
Created: 2022-09-02T08:29:56Z
Description: a basic REST server for the Lean engine