doc/inductive.md - third_party/github.com/leanprover/lean4 - Git at Google

Sign in

fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/ffi-docs/./doc/inductive.md

blob: 487748ae57ea867bcd67bc3a569586e904d1702c [file] [view] [edit]

	# Inductive Types

	TODO

Powered by Gitiles| Privacy| Terms txt json