4 commits

Author	SHA1	Message	Date
tildearrow	b70fadf18d	doc finalization: instrument	2023-09-09 23:11:43 -05:00
Electric Keet	4748e185a7	Fixing something I botched. ... Hey, all those files I thought I clobbered!	2023-06-23 18:13:37 -07:00
Electric Keet	7012cd36ab	Instrument macro docs & images.	2023-06-10 23:00:11 -07:00
tildearrow	17464b6446	move documentation out of papers	2023-06-05 00:08:37 -05:00

Renamed from papers/doc/4-instrument/vera.md (Browse further)