Showing 1-7 of 7 packages
ESLint configuration for LeanCode projects
ESLint plugin for LeanCode projects
Meta-package for LeanCode linting configurations
LeanCode contacts generator nest api proxy with auth token forwarder
TypeScript Contracts Generator is an utility for generating contracts/clients/schema based on backend contracts and config file.
Simple Node.js wrapper for Lean 4 theorem prover
Collection of Nx plugins for LeanCode projects