| ... | |
| aggregation.d.ts | 544 B |
| aggregation.d.ts.map | 609 B |
| axiom.d.ts | 497 B |
| axiom.d.ts.map | 455 B |
| basis.d.ts | 1.97 KB |
| basis.d.ts.map | 1.76 KB |
| containers.d.ts | 987 B |
| containers.d.ts.map | 985 B |
| expressions.d.ts | 237 B |
| expressions.d.ts.map | 268 B |
| function.d.ts | 1.02 KB |
| function.d.ts.map | 960 B |
| index.d.ts | 791 B |
| index.d.ts.map | 677 B |
| index.js | 23.26 KB |
| index.js.map | 71.69 KB |
| index.mjs | 22.64 KB |
| index.mjs.map | 71.6 KB |
| index.modern.js | 17.69 KB |
| index.modern.js.map | 66.56 KB |
| index.umd.js | 23.13 KB |
| index.umd.js.map | 71.7 KB |
| individual.d.ts | 287 B |
| individual.d.ts.map | 315 B |
| mappings.d.ts | 867 B |
| mappings.d.ts.map | 825 B |
| operations.d.ts | 3.72 KB |
| operations.d.ts.map | 2.51 KB |
| quantifiers.d.ts | 444 B |
| quantifiers.d.ts.map | 447 B |
| reasoners.d.ts | 651 B |
| reasoners.d.ts.map | 699 B |
| sentence.d.ts | 1.15 KB |
| sentence.d.ts.map | 1.1 KB |
Free Open Source CDN for first-order-logic
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/first-order-logic