History for Core Team Voting Process · rocq-prover/rocq Wiki

Updated Core Team Voting Process (markdown)

mattam82 committed Jan 10, 2023

93d4af6

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 14, 2022

9b963da

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

733a2f5

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

fde5c57

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

a792644

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

e661c2d

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

ba6fd8e

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

d00abac

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 12, 2022

94015ca

Updated Core Team Voting Process (markdown)

mattam82 committed Oct 11, 2022

30843d9

Created Core Team Voting Process (markdown)

mattam82 committed Oct 11, 2022

6dcb156

Provide feedback