Source identities

Workflow runs for Source identities

• List axiom hygiene among the v1 claims

  completed successfully:
  Source identities#4:Commitcdb15cepushedbyMister-Meeseeks
  main

  Nov 12, 20269s
  More actions for workflow run 4

• Clarify IsaWitness scope and related work

  completed successfully:
  Source identities#3:Commit09e1d78pushedbyMister-Meeseeks
  main

  Nov 10, 20269s
  More actions for workflow run 3

• Give IsaWitness a stronger README introduction and banner

  completed successfully:
  Source identities#2:Commit08f9bbepushedbyMister-Meeseeks
  main

  Nov 10, 202610s
  More actions for workflow run 2

• Import IsaWitness source preview

  completed successfully:
  Source identities#1:Commit33c9011pushedbyMister-Meeseeks
  main

  Nov 10, 202610s
  More actions for workflow run 1