Json

📁 Source: Mathlib/Lean/Json.lean

Statistics

Metric	Count
Definitions instFromJsonFin_mathlib, instFromJsonPUnit_mathlib, fromJson, instFromJsonSubtypeOfDecidablePred_mathlib, instToJsonFin_mathlib, instToJsonPUnit_mathlib, toJson, instToJsonSubtype_mathlib	8
Theorems	0
Total	8

Lean

Definitions

Name	Category	Theorems
instFromJsonFin_mathlib 📖	CompOp	—
instFromJsonPUnit_mathlib 📖	CompOp	—
instFromJsonSubtypeOfDecidablePred_mathlib 📖	CompOp	—
instToJsonFin_mathlib 📖	CompOp	—
instToJsonPUnit_mathlib 📖	CompOp	—
instToJsonSubtype_mathlib 📖	CompOp	—

Lean.instFromJsonPUnit_mathlib

Definitions

Name	Category	Theorems
fromJson 📖	CompOp	—

Lean.instToJsonPUnit_mathlib

Definitions

Name	Category	Theorems
toJson 📖	CompOp	—

---

← Back to Index