lpl

There are 6 repositories under lpl topic.

Jumaruba/LPL-solutions
Solutions for the book "Language Proof and Logic".
74 6 18154
ChengLuffy/lpl.ics
LPL & LCK 赛程订阅日历
52 1 113
carlosantq/LPL
📚Solutions to Language, Proof and Logic (2nd Edition)
20 1 2144
tbitai/ruzsa
Analytic tableau proof editor for Tarski's World
Language:JavaScript4 1 102
muratBekgi/Phil-09
Philosophy 09 Pierce College Online course (LPL)
1 0 01
ProHiryu/WinNet
A neural network used to predict electrical events
Language:Python1 0