File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -808,9 +808,9 @@ standards compliance and warranty.
808
808
809
809
Successful existing applications of Scryer Prolog include the
810
810
[ DocLog] ( https://github.com/aarroyoc/doclog )   ; system which
811
- generates Scryer's own documentation and homepage, [ Symbolic
812
- Analysis of Grants ] ( https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-Analysis-of-Grants.html )
813
- by the Austrian Federal Computing Center , and parts of the
811
+ generates Scryer's own documentation and homepage, [ reasoning
812
+ about business & nbsp ; grants ] ( https://arxiv.org/abs/2406.15293 )
813
+ in the Austrian public & nbsp ; administration , and parts of the
814
814
[ precautionary] ( https://github.com/dcnorris/precautionary/tree/main/exec/prolog )
815
815
package for the analysis of dose-escalation trials in the
816
816
safety-critical and highly regulated domain of oncology
You can’t perform that action at this time.
0 commit comments