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-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
「SF-LC」10 IndPrinciples
Reposts
「SF-LC」10 IndPrinciples
Logical Foundations - Induction Principles
LF (逻辑基础)SF (软件基础)Coq笔记
January 10, 2019
「SF-LC」9 ProofObjects
Reposts
「SF-LC」9 ProofObjects
Logical Foundations - The Curry-Howard Correspondence
LF (逻辑基础)SF (软件基础)Coq笔记
January 9, 2019
「SF-LC」8 Maps
Reposts
「SF-LC」8 Maps
Logical Foundations - Total and Partial Maps
LF (逻辑基础)SF (软件基础)Coq笔记
January 8, 2019
「SF-LC」7 Ind Prop
Reposts
「SF-LC」7 Ind Prop
Logical Foundations - Inductively Defined Propositions (归纳定义命题)
LF (逻辑基础)SF (软件基础)Coq笔记
January 7, 2019
「SF-LC」6 Logic
Reposts
「SF-LC」6 Logic
Logical Foundations - Logic in Coq
LF (逻辑基础)SF (软件基础)Coq笔记
January 6, 2019
「SF-LC」5 Tactics
Reposts
「SF-LC」5 Tactics
Logical Foundations - More Basic Tactics
LF (逻辑基础)SF (软件基础)Coq笔记
January 5, 2019
「SF-LC」4 Poly
Reposts
「SF-LC」4 Poly
Logical Foundations - Polymorphism and Higher-Order Functions
LF (逻辑基础)SF (软件基础)Coq笔记
January 4, 2019
「SF-LC」3 List
Reposts
「SF-LC」3 List
Logical Foundations - Working with Structured Data
LF (逻辑基础)SF (软件基础)Coq笔记
January 3, 2019
「SF-LC」2 Induction
Reposts
「SF-LC」2 Induction
Logical Foundations - Proof by Induction
LF (逻辑基础)SF (软件基础)Coq笔记
January 2, 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:
334