22 Jan 2024
Paperproof: Lean theorem proving interface which feels like pen-and-paper proofs. ~ Evgenia Karunus & Anton Kovsharov. github.com/Paper-Proof/paper… #ITP #LeanProver
6
47
3,076
24 Oct 2023
Check out Paperproof - makes proving theorems in Lean feel like playing a game. Such a joy!🤓 What's gonna be next? 🥳
23 Oct 2023
Paperproof: A new proof interface for Lean 4
"Paperproof will inspect how the hypotheses and goals were changing throughout the Lean 4 proof, and display this history - making it equivalent to how we think of a mathematical proof on paper."
github.com/Paper-Proof/paper…
4
270
23 Oct 2023
Paperproof: A new proof interface for Lean 4
"Paperproof will inspect how the hypotheses and goals were changing throughout the Lean 4 proof, and display this history - making it equivalent to how we think of a mathematical proof on paper."
github.com/Paper-Proof/paper…
1
44
156
35,896
8 Jul 2022
Promo AWS not only deal with corporate branding but also custom made the promotional industry product that goes on awards, trophies, medals, and apparel items at promoaws.com/pre-press.html/ #PaperProof #3Drenders #Highquality #Apparel #fashion #Promotional #personalized #Virtual
2
24 Apr 2022
ใครที่ประสบปัญหาติดต่อ PaperProof ไม่ได้ ต้องการเงินคืน DM มาได้นะคะ เรากำลังรวมตัวกัน จะได้เติมคุณลงในกลุ่ม DM #มาคุยกันคุณนักเขียน
22 Apr 2022
สงสัยว่า มีใครจ่ายเงินให้ PaperProof แล้วไม่ได้งานบ้างคะ
ตอนนี้เราจ้างคนอื่นไปแล้ว เพราะรอไม่ไหว แต่อยากได้เงินคืน #คุยกันคุณนักเขียน
71
12
22 Apr 2022
สงสัยว่า มีใครจ่ายเงินให้ PaperProof แล้วไม่ได้งานบ้างคะ
ตอนนี้เราจ้างคนอื่นไปแล้ว เพราะรอไม่ไหว แต่อยากได้เงินคืน #คุยกันคุณนักเขียน
36
7
4 Apr 2022
Best Offers on 3D Virtual Sampling, Virtual Sample Maker @ redrawexpress.com/art-visual… #virtual #Samples #Design #paperproof #artwork #art #graphicartist #digitizing #custom #prepress #logo #graphics #embroidery #PPAI #ASI #SAGE #PPAIEXPO
2
23 Mar 2022
ทำอาร์ต จัดเล่มเอง มีแค่นีลหนีหนี้ที่ลองใช้บริการจากทาง proof it ช่วยจัดเล่มให้ กับ จอมมารแง้วที่ให้ paperproof ทำไทโป ที่เหลือเอามาทำเอง มีลองไปจ้างแต่สุดท้ายก็เอามาทำให้เองเหมือนเดิม เพราะชอบตีกะโฟโต้ช็อป
2
25 Feb 2022
สวัสดีค่ะ🙏🏼💕 ฝากเนื้อฝากตัวด้วยนะคะ Y06 ค่ะ อันนี้เป็นงานปกที่เราเคยทำค่ะ ส่วนใหญ่วาดแค่ปก พวกงาน typo จะเป็นพี่ที่ร้าน paperproof ทำ สามารถดูงานเพิ่มเติมได้ใน ig: y06.artwork ค่ะ #สายผลิตปก
52
32
9 Feb 2022
อันนี้เป็นปกที่หยกวาดเองค้าบบบ
ปก #คาเฟ่แด่ผู้แตกสลาย
Author: พาข้าว
Illustrator: Y06
Font: Paperproof
#ออกแบบปกหนังสือ #ออกแบบปกนิยาย #bookcover #bookcoverdesign #clipstudiopaint
1
17
5
7 Jan 2022
📢 Paperproof เปิดรับคิวแล้วคับบ ‼️
✅#พิสูจน์อักษร
✅#จัดรูปเล่ม
✅#ออกแบบปก
✅#ออกแบบชื่อเรื่อง
✅#พิมพ์หนังสือ
✅#เปเปอร์แพ็ก
✨ดูรายละเอียดและเรตราคาได้ที่ paperproof.me/
สามารถสอบถามข้อมูล และสำรองคิวได้ทาง DM 💌
1
10
18
31 Dec 2021
🎉Happy New Year 2022🎉
ขอบคุณที่สนับสนุนและให้โอกาส Paperproof เสมอมา
ทีมงาน Paperproof ขอให้คุณนักเขียนทุกท่านมีแต่ความสุข รอดพ้นจากโควิดทุกสายพันธุ์ สุขภาพร่างกายแข็งแรง และได้ใช้ชีวิตตามที่ต้องการนะคะ ✈️🎁💚
9
22
30 Dec 2021
📢Paperproof ต้องขอบคุณทุกท่านที่ให้ความสนใจ
ตอนนี้เรากลับมาเปิด "Pre-order เปเปอร์แพ็ก" แล้วนะคะ
ซึ่งล็อตใหม่จะมาถึงช่วงสิ้นเดือนมกราคม - กลางเดือนกุมภาพันธ์ 2565
หากท่านใดสนใจ สามารถสั่งซื้อได้ทาง
paperhouseshop.com/product/4…
สามารถสอบถามข้อมูลเพิ่มเติมได้ทาง DM เลยนะคะ 💚
1 Jul 2021
สิ้นสุดการรอคอย✨
แพ็กง่าย แข็งแรง ประหยัดเวลา ต้อง Paperpack
(สามารถสั่งจองได้ตั้งแต่วันที่ 01.07.2021 เวลา 18.00 น. เป็นต้นไป)
14
4
29 Dec 2021
เนื่องด้วยในโอกาสขึ้นปีใหม่ 2022 🎉
Paperproof จึงอยากขอบคุณและมอบของขวัญปฏิทินปี 2022 แด่คุณนักเขียนทุกท่านที่ไว้ใจมาใช้บริการ🙏
หากคุณนักเขียนท่านใดสนใจ สามารถกรอกฟอร์มได้ที่ลิงก์
docs.google.com/forms/d/e/1F…
สวัสดีปีใหม่ 2022 ขอให้ทุกท่านมีแต่ความสุขนะคะ
ปล. ของขวัญมีจำนวนจำกัด
5
5
29 Dec 2021
Paperproof มีกล่องแบบนี้เคยจำหน่ายอยู่ช่วงหนึ่งนะคะ กำลังจะสั่งผลิตล็อตใหม่ แต่ถ้าไม่มีคนสนใจก็จะเลิกผลิตขายแล้วนะ 😢
ฝากเอ็นดูน้อง ๆ ก่อนที่น้องจะหายไปหน่อยนะคับ
คลิปเปิดตัว 💚
29 Dec 2021
พี่ฮูกได้กล่องพัสดุมาใหม่ฮะ เหมาะสำหรับใส่หนังสือเล่มเดียวฮะ ประมาณไม่เกิน 400 หน้า ดูน้องน่าจะรอดปลอดภัยในระดับหนึ่งอยู่นะฮะ 🧐
55
16
29 Dec 2021
Paperproof มีกล่องประมาณนี้ขายอยู่นะคะ แต่ว่าตอนนี้ขายหมดเกลี้ยงเลย ต้องรอสั่งผลิตรอบใหม่ แต่ว่าไม่รู้จะมีคนสนใจไหม เพราะต้นทุนก็ค่อนข้างสูง ถ้าไม่มีคงเลิกผลิตแล้วค่ะ 😢
29 Dec 2021
หาซื้อกล่องหรืแกระดาษแบบนี้อยู่ แต่ไม่รู้จะหาซื้อยังไง หรือบางทีต้องสั่งทำ?
1
9
4
อยากอวย paperproof มาก ตอนแรกที่ติดต่อคือจะพิมพ์เล่มเดียวด้วย ยอดน้อยจนตัวลีบ._. แต่คุณเจคือพร้อมให้คำแนะนำตลอดเลย และความอารมณ์ชั่ววูบอยากทำของเราอะ ไม่ได้รู้อะไรเลย ต้องถามเกือบทุกเรื่อง คุณเจตอบมาละเอียดตลอดเลย ถ้าในอนาคตนุได้ขายเล่มกับเค้าจะมาที่นี่อีกแน่นอนคับ #leaveitto3p
3
2
25 Dec 2021
✨Paperproof ชวนน้องเหมียวจาก @PPH_Publisher มาร่วม Merry Christmas 🎄🎁
ขอให้คุณนักเขียนทุกท่านมีแต่ความสุข สมปรารถนาทุกสิ่งที่หวังเอาไว้ ไม่ปวดหลัง และรอดพ้นจากโควิด และขอให้ได้ใช้ชีวิตอย่างที่ต้องการนะคะ 💚
13
17
24 Dec 2021
🎄Paperproof ขอขอบคุณคุณไวไว @ChinlianAuthor
สำหรับของขวัญคริสต์มาสสุดพิเศษกล่องนี้มาก ๆ เลยนะคะ ห่อมาได้น่ารักมากเลยค่ะ
ทีมงานจะส่งของขวัญปีใหม่ย้อนหลังนะคะ ปีนี้ทำไม่ทันจริง ๆ ค่ะ 🥺
1
2
8