3 days ago|discuss
user: ux266478
471 karma | created 6 months ago
recent submissions
5 days ago|discuss
5 days ago|discuss
5 days ago|discuss
6 days ago|discuss
6 days ago|discuss
λProlog: Logic programming in higher-order logic
(lix.polytechnique.fr)
167 pts|9 days ago|37 comments
9 days ago|discuss
10 days ago|discuss
10 days ago|discuss
10 days ago|discuss
11 days ago|discuss
11 days ago|discuss
12 days ago|discuss
13 days ago|discuss
17 days ago|discuss
17 days ago|discuss
17 days ago|discuss
18 days ago|discuss
18 days ago|discuss