3 lines
64 B
JavaScript
Raw Permalink Normal View History

2025-09-05 14:59:21 +08:00
/* Alias lean4 for lean */
export { default } from './lean.mjs'