Pastebin
API
tools
faq
paste
Login
Sign up
SHARE
TWEET
Untitled
a guest
Feb 18th, 2019
76
0
Never
Add comment
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!
text
0.20 KB
| None
|
0
0
raw
download
clone
embed
print
report
formulas(sos).
a->(b->a) # label(A1).
((a->(b->c))->((a->b)->(a->c))) # label(A2).
(((-b)->(-a))->(((-b)->a)->b)) # label(A3).
end_of_list.
formulas(goals).
(a->a).
end_of_list.
Add Comment
Please,
Sign In
to add comment
Public Pastes
trello importer
JavaScript | 20 min ago | 1.95 KB
🤑 G2A.com Free Gift Card Guide May 2024 FIX 🤑
GetText | 35 min ago | 0.39 KB
LibNebulaNodesBPLibrary.h
C++ | 43 min ago | 1.90 KB
Untitled
Python | 52 min ago | 2.57 KB
MainScript 4
CSS | 1 hour ago | 1.73 KB
Interceptor JS
JavaScript | 1 hour ago | 3.15 KB
Sigma style
LScript | 2 hours ago | 0.10 KB
M1SCO Style
LScript | 2 hours ago | 0.09 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the
Cookies Policy
.
OK, I Understand
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!