This repo contains Python source and example files for the Tableau Document API. The Document API provides a useful but unsupported way to programmatically make updates to Tableau workbook and data ...
Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results