Enovace
loading image

Build Your AI-Era Operating System

Guides and field notes for making AI tools, knowledge workflows, and digital infrastructure useful in real work.

Qu Xian Zhuan

Making money while lying at home~

Streaming Sharing

Netflix, Youtube, Spotify, HBO, AppleTV+

Overseas Servers

Faster than the others!

Privacy Query

A quick privacy search engine!

iHezu
OKX
Wise
Bandwagon
「SF-PLF」6 Types
Reposts
「SF-PLF」6 Types
Programming Language Foundations - Type Systems
SF (软件基础)PLF (编程语言基础)Coq笔记
March 6, 2019
「SF-PLF」5 Smallstep
Reposts
「SF-PLF」5 Smallstep
Programming Language Foundations - Small-Step Operational Semantics
SF (软件基础)PLF (编程语言基础)Coq笔记
March 5, 2019
「SF-PLF」4 HoareAsLogic
Reposts
「SF-PLF」4 HoareAsLogic
Programming Language Foundations - Hoare Logic as a Logic
SF (软件基础)PLF (编程语言基础)Coq笔记
March 4, 2019
「SF-PLF」3 Hoare2
Reposts
「SF-PLF」3 Hoare2
Programming Language Foundations - Hoare Logic, Part II
SF (软件基础)PLF (编程语言基础)Coq笔记
March 3, 2019
「SF-PLF」2 Hoare
Reposts
「SF-PLF」2 Hoare
Programming Language Foundations - Hoare Logic, Part I
SF (软件基础)PLF (编程语言基础)Coq笔记
March 2, 2019
「SF-PLF」1 Equiv
Reposts
「SF-PLF」1 Equiv
Programming Language Foundations - Program Equivalence (程序的等价关系)
SF (软件基础)PLF (编程语言基础)Coq笔记
March 1, 2019
「SF-LC」16 Auto
Reposts
「SF-LC」16 Auto
Logical Foundations - More Automation
LF (逻辑基础)SF (软件基础)Coq笔记
January 16, 2019
「SF-LC」15 Extraction
Reposts
「SF-LC」15 Extraction
Logical Foundations - Extracting ML From Coq
LF (逻辑基础)SF (软件基础)Coq笔记
January 15, 2019
「SF-LC」14 ImpCEvalFun
Reposts
「SF-LC」14 ImpCEvalFun
Logical Foundations - An Evaluation Function For Imp
LF (逻辑基础)SF (软件基础)Coq笔记
January 14, 2019
「SF-LC」13 ImpParser
Reposts
「SF-LC」13 ImpParser
Logical Foundations - Lexing And Parsing In Coq
LF (逻辑基础)SF (软件基础)Coq笔记
January 13, 2019
「SF-LC」12 Imp
Reposts
「SF-LC」12 Imp
Logical Foundations - Simple Imperative Programs
LF (逻辑基础)SF (软件基础)Coq笔记
January 12, 2019
「SF-LC」11 Rel
Reposts
「SF-LC」11 Rel
Logical Foundations - Properties of Relations
LF (逻辑基础)SF (软件基础)Coq笔记
January 11, 2019
没有什么问题你是解决不了的
Enovace
Field notes for AI-native work, personal systems, and independent digital infrastructure.
Turning useful tools into workflows that keep working.
Enovace
Build Your AI-Era Operating System
SponsoringSponsor
OKX
Leading Crypto Exchange
Tags
Show All
统计
Total posts:
271