carloperassi

CLI around Harmonic aristotle (Lean 4 + Mathlib)

An old, legacy vue setup

python:3.11-slim with Jinja2==3.1.2, jsonc-parser==1.1.5 and python-dotenv==0.21.0

Python 3.11 with chevron 0.14.0 (mustache) and jsonc

Image for a legacy PHP setup

Dockerfile and Docker hub reference repo for Vue2 legacy projects