ux266478 470 karma 192d on HN HN profile →
Coverage
We've seen 1 of an unknown number of submissions
Full eval: 1 Lite-only: 0 Unevaluated: 0
Deep Read section-level analysis · 1 full evaluation
HRCB +0.50
E-full / S +0.36 / +0.25 SETL +0.20
UDHR Fingerprint Preamble: +0.20 Article 1: ND Article 2: ND Article 3: ND Article 4: ND Article 5: ND Article 6: ND Article 7: ND Article 8: ND Article 9: ND Article 10: ND Article 11: ND Article 12: ND Article 13: ND Article 14: ND Article 15: ND Article 16: ND Article 17: ND Article 18: ND Article 19: +0.47 Article 20: ND Article 21: ND Article 22: ND Article 23: ND Article 24: ND Article 25: ND Article 26: +0.62 Article 27: +0.62 Article 28: ND Article 29: ND Article 30: ND
1 stories
1.
HRCB +0.50
E +0.36
S +0.25
λProlog: Logic programming in higher-order logic (www.lix.polytechnique.fr)
167 points by ux266478 9 days ago | 37 comments | hrcb v3.7 Free Expression & Education Access