rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,310 Commits 2 Branches 18 Tags
c5c7c1913a7b639ce67ff0c47295cfb70c5e392c
Commit Graph

1 Commits

Author SHA1 Message Date
Markus Triska
538085169a ADDED: library(tls), providing all predicates for TLS connections. 
The currently available predicates for TLS-connections can be extended
with predicates to load and reason about certificates etc.
 2021-12-05 18:16:47 +01:00