/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Docs
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Checked 25m ago · Updated 2mo ago
Details
Filter operations
files
3
get
Get metadata of all public files owned by the user
get
Fetch a public file
get
Fetch a public snapshot
login
2
me
9
registry
1
search
1
tags
1
timeline
1
files
Fetch a public file
get
/files/{userName}/{fileName}
Path parameters
userName
string
required
fileName
string
required
Response
File
PublicFileMeta
required
Metadata shown to the public
owner
string
required
fileName
string
required
registeredVersions
Version[]
required
createdAt
string
date-time
required
updatedAt
string
date-time
required
Changes