Tag: formal

6 items with this tag.

Feb 11, 2024
Investigate egg from Lean
Sep 03, 2023
Investigate formalized philosophies
- interest
- formal
Oct 04, 2022
Digest Lean 4 materials
Sep 26, 2018
Investigate Paxos-related with TLA+ in mind
- interest
- formal
Mar 04, 2015
Learn Distributed Algorithms
- interest
- formal
Aug 17, 2014
Organize Wolfram Mathematica notebooks

Created with Quartz v4.5.1 © 2026

Source