azure-devops-dotnet-samples VS prose

Hi, maybe you could check the sample here, try to get every member of the group using graphClient.ListMembershipsAsync(parentGroupDescriptor, Microsoft.VisualStudio.Services.Graph.GraphTraversalDirection.Down).Result;

Checked the samples here, cannot found any samples about test results. You can open an issue on GitHub to request a sample.

Hi, you can use Microsoft.TeamFoundationServer.Client, it provides access to version control, work item tracking, build, and more via public REST APIs. There are many samples on GitHub, check out the Git samples page.

> Would knowledge in automated theorem proving (e.g. knowing how coq works) be somehow transferable to research in this field?

Possibly.

First, Coq is not an automated theorem proving tool; it's an interactive theorem prover.

If by automated theorem proving, you're thinking of a tool like Z3 or CVC4 which find models of statements in a decidable theory (which are pretty much always mathematically uninteresting), then...absolutely! SAT/SMT are at the core of constraint-based synthesis. Heck, CVC4 has a SyGuS mode that one the synthesis competition one year.

If you're referring to actually searching for interesting theorems, as done by tools like Vampire and Otter, then probably not.

Last month, I was discussing the matching algorithm used in the paper "egg: Fast and Flexible Equality Saturation" with a collaborator. It uses code trees, which I read about a few months earlier in the Handbook of Automated Reasoning. It stands out because I had pretty much never encountered a mention of any of that stuff in the preceding several years.

I touch on this slightly in this blog post, about the benefits of learning Coq towards synthesis: http://www.pathsensitive.com/2021/03/why-programmers-shouldn... . (And the benefits I mention are in understanding the type theory, not the innards.)

> What are some existing open-source program synthesis libraries/frameworks where we can tinker around and maybe make something with it?

https://github.com/microsoft/prose