Lean 4 (Meta)programming Cookbook
Lean 4 (Meta)programming Cookbook
Table of Contents
What is Metaprogramming?
Working with the Infoview
Syntax and Macros
Working with Expressions
Elaboration: Extending Syntax
Tactics
Maintaining State
I/O and Processes
File System
Data Structures
Index
How to build a Recipe
Cookbook Contributors
I/O and Processes
Handling Stdin/Stdout/Stderr Streams
Parsing Command Line Arguments
Spawning a Child Process
Spawning Tasks and Worker Threads
Running Tasks in Parallel
Putting a Process to Sleep
Process Interruption and Idle Sleep
Time Measurement of Process
Miscellaneous IO
Miscellaneous IO
Get a Random Number
Terminating a Process
File Compression and Decompression
Reading Environment Variables
Deadlocking the Task System
←
Time Measurement of Process
Get a Random Number
→
Miscellaneous IO
🔗
Contributors:
Anirudh Gupta
These are some Miscellaneous IO functions that you might find useful in your Lean code.
Get a Random Number
Terminating a Process
File Compression and Decompression
Reading Environment Variables
Deadlocking the Task System
←
Time Measurement of Process
Get a Random Number
→
