LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Typst

scribble

Random cat thoughts

TypstEmerging

Stars

—

Forks

—

Contributors

1

Last push

3d ago

Recent commits

Latest commits.

升级到 Typst 0.15.0. 添加了实验性 MathML 公式
6edb36dLiu Xiaoyi3d ago
添加 NoC deadlock 到 wishlist 中
14fbb0bLiu Xiaoyi3mo ago
添加了关于 Montgomery 模乘的内容
8e5b29bLiu Xiaoyi3mo ago
把 PQC 也加到 Wishlist 里了
b0724feLiu Xiaoyi3mo ago
把 Schnorr Sig 加入愿望单，这样我可以把我浏览器 Tab 关了（
69bc01cLiu Xiaoyi3mo ago

最终补充了一个关于 FOL on finite model 的澄清以及结论

9a655b4Liu Xiaoyi3mo ago

添加了一些关于逻辑的笔记

c3f35b3Liu Xiaoyi3mo ago

添加 Section: wishlist，记录准备去看的东西，可能后续会加到这个网页中

070f437Liu Xiaoyi4mo ago

Top contributors

Builders behind this project.