GitHub topics: lpl
ChengLuffy/lpl.ics
LPL & LCK 赛程订阅日历
Size: 1.66 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 53 - Forks: 3
Jumaruba/LPL-solutions
Solutions for the book "Language Proof and Logic".
Size: 10.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 67 - Forks: 155
tbitai/ruzsa
Analytic tableau proof editor for Tarski's World
Language: JavaScript - Size: 1.17 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
carlosantq/LPL
📚Solutions to Language, Proof and Logic (2nd Edition)
Size: 40 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 144
muratBekgi/Phil-09
Philosophy 09 Pierce College Online course (LPL)
Size: 768 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
ProHiryu/WinNet
A neural network used to predict electrical events
Language: Python - Size: 142 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
