UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 88 B
1
2
3
4
import { z } from 'zod' export const ArrayIndexSchema = z.number().int().nonnegative()