s
Est language (draft name) - A theorem verifier, targets to prove
the top 100 theorems
user defined variable
user defined function
user defined theorem
code:s
0 in N
S: N -> N
S(m) = S(n) -> m = n
S(m) != 0
P(0) & for_all N { P(N) -> P(S(N)) } -> for_all N { P(N) }
Semantics
variable
Desgin notes
-
s-scrap-2023-07
-
s-scrap-2023-06
-
S-design-memo-0
-
S-design-memo-1
-
S-design-memo-2
-
s-scrap-0
ref
#LK0
#Bucket_list