baseURL = 'https://example.org/'
languageCode = 'en-us'
title = 'Formal Methods Tools'
theme = 'fmtools'


[taxonomies]
  purpose = 'purposes'
  technique = 'techniques'
  domain = 'domains'
  language = 'languages'
  system = 'systems'
  interaction = 'interactions'
  formalism = 'formalisms'
  developer = 'developers'